60.02/62.68	unsat
