6.65/7.97	unsat
