58.07/62.73	unsat
