23.65/23.72	unsat
