25.65/27.51	unsat
