60.45/60.87	unsat
