60.21/62.17	unsat
