using cplex