21.65/21.88	unsat
