22.65/24.44	unsat
