New CPLEX formulation.