64.49/66.93	unsat
