5.65/6.17	unsat
