66.65/66.90	unsat
