64.17/66.92	unsat
