5.65/5.69	unsat
