Step 12: The LP solution is still split into two islands. We will add a subtour-elimination constraint for the bottom island (it looks larger, but it contains fewer cities); the set S consists of the cities from 0 through 13.
