1.65/1.69	unsat
