secondo voi cplex riesce a risolvere un problema con questo numero di variabili?