SEC: Sub-tour Elimination Constraint (the only exponential constraint in the TSP)