param N := 2;

var x{1..N};

minimize f:
-x[2];

subject to cons1:
1+x[1]-2*x[2] >= 0;

subject to cons2:
x[1]^2 + x[2]^2 - 1 = 0;

subject to cons3:
x[1] >= 0;

data;
var x:=
1	10
2	10;

solve;

display x;