Default CPLEX

TODO