60.37/60.58	unsat
