62.56/62.78	unsat
