hack fix to the milp formulation issue