57.87/60.44	unsat
