64.93/66.82	unsat
