17.65/19.84	unsat
