18.65/19.88	unsat
