Mixed integer program