19.65/22.90	unsat
