data;
set VARMAJOR := x1 x2;
set VARMINOR :=;
set VARFREE :=;
set CONSMAJOR :=;
set CONSMINOR :=;
set CONSEQUAL := u1 u2;

param c := x1 5 x2 6;
param b := u1 12 u2 20;
param a : x1 x2 := u1 3 6 u2 20 7;