22.65/22.71	unsat
