17.65/17.91	unsat
