60.12/62.47	unsat
