fixing mip formulations