RE4_JoeFain

rev_kids20

Task: 32-bit PE32 console binary reads two integers via scanf and checks two integer polynomial constraints; flag is the input without spaces. Solution: reconstruct the two polynomials from radare2 disassembly, determine scanf argument order from cdecl push order, and solve the Diophantine system (sympy) to get the non-trivial root (a=-5, b=4) -> input '4 -5' -> flag '4-5'.