5.65/7.25	unsat
