19.65/19.70	unsat
