66.25/66.93	unsat
