66.15/66.89	unsat
