24.65/28.74	unsat
