60.43/62.20	unsat
