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

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