16.65/18.69	unsat
