61.92/62.92	unsat
