62.82/64.92	unsat
