61.06/61.25	unsat
