25.65/25.75	unsat
