60.47/60.67	unsat
