一开始以为是z3可解，就直接上z3，后来上angr，浪费很多时间，仔细看了一下源码发现是大整数乘积，a*a-7*b*b=8，再加上其他限制可解Pell's equation.
[注意]APP应用上架合规检测服务，协助应用顺利上架！
