Hi running the solver script produces 2 output `1179604559 1146114388`. However supplying into the binary gets the wrong answer