17.65/18.86	unsat
