17.65/18.88	unsat
