9.65/9.70	unsat
