58.76/61.25	unsat
