18.65/22.23	unsat
