How do we state that anywhere there isn't a ship is water?
So, total variables: 2046. Total constraints: 23560.
