Fix two things for DL formulation
Make MTZ tighter (!)