17.65/18.12	unsat
