21.65/21.73	unsat
