21.65/21.71	unsat
