25.65/25.73	unsat
