# Model tp010
var x_1;
let x_1 := -10;
var x_2;
let x_2 := 10;
minimize obj: x_1 - x_2;
subject to ci_1: (-3)*x_1^2 + 2*x_1*x_2 - x_2^2 + 1 >= 0;
display obj;
solve;
display obj;
display x_1;
display x_2;
display obj + 1;
display x_1 - 0;
display x_2 - 1;