[ACTF新生赛2020]Universe_final_answer wp

思路：查看程序主函数使sub_860函数返回true就能获得flag跟进去查看看到这么规律的计算就知道要拿z3秒了exp：from z3 import * v1,v2, v3, v4, v5,...