Tags: smt z3 reversing re 

Rating: 1.0

The solution of the chall can be found [here](https://github.com/werew/REstuffs/tree/master/CTFs/TUCTF2017/Reverse_Eng/Future)