z3 巧解逆向题
https://paper.seebug.org/532/