% variables
array[1..4] of var float: x;


% constraint ->COMPLETEZ ICI<-;

% constraint forall(->COMPLETEZ ICI<-)(->COMPLETEZ ICI<-);

% var float: obj = ->COMPLETEZ ICI<-;

solve minimize obj;

output ["\n x1=\(x[1])\n x2=\(x[2])\n x3=\(x[3])\n x4=\(x[4])\n OBJ=\(obj)\n"];