2.65/6.24	unsat
