22.65/24.31	unsat
