59.66/61.88	unsat
