17.65/19.78	unsat
