66.61/66.86	unsat
