added cplex version