option cplex_options $cplex_options ' minimize';data;
set VARMAJOR := x1;
set VARMINOR := x2;
set VARFREE := x3;
set CONSMAJOR := u1;
set CONSMINOR := u2;
set CONSEQUAL := u3;

param c := x1 4 x2 5 x3 6;
param b := u1 4 u2 3 u3 5;
param a : x1 x2 x3 := u1 2 3 4 u2 3 5 7 u3 4 6 5;