fix CPLEX sos test