trying the switch to cplex.