17.65/19.66	unsat
