59.20/62.86	unsat
