25.65/29.18	unsat
