标签：GDOUCTF 4544 32 777 Your add 123 Check Luck
得到一个c++的源文件：进VSCODE也行，devc++也行IDA也行：
得到一个方程组，解开就行，大力推荐手搓（增加数学的能力到了）（我不用）典型的z3，上脚本：
s = Solver()
v, w, x, y, z = Ints('v w x y z')
s.add(v * 23 + w * -32 + x * 98 + y * 55 + z * 90 == 333322)
s.add(v * 123 + w * -322 + x * 68 + y * 67 + z * 32 == 707724)
s.add(v * 266 + w * -34 + x * 43 + y * 8 + z * 32 == 1272529)
s.add(v * 343 + w * -352 + x * 58 + y * 65 + z * 5 == 1672457)
s.add(v * 231 + w * -321 + x * 938 + y * 555 + z * 970 == 3372367)
if s.check() == sat:
print(s.model())
得到[x = 677, w = 123, z = 777, v = 4544, y = 1754]，对照输入得到NSSCTF{4544_123_677_1754_777}
标签：GDOUCTF,
4544,
32,
777,
Your,
add,
123,
Check,
Luck
From： https://www.cnblogs.com/TFOREVERY/p/17399265.html