17.65/17.92	unsat
