59.69/62.63	unsat
