23.65/23.74	unsat
