Rating:
Solved using z3https://github.com/ByteBandits/writeups/tree/master/csaw-finals-2016/reverse/rev250/sudhackar
I don't remember
