OlympicCTF Binathlon 400 solver