62.17/62.38	unsat
