57.52/60.11	unsat
