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 7 u2 8 u3 83;
param a : x1 x2 x3 := u1 3 4 5 u2 4 5 6 u3 3 4 5;