61.25/61.41	unsat
