63.25/66.92	unsat
