57.50/60.02	unsat
