Adding Min Span Tree on top of MIP