19.65/19.78	unsat
