# Model tp031
var x_1 >= -10, <= 10;
let x_1 := 1;
var x_2 >= 1, <= 10;
let x_2 := 1;
var x_3 >= -10, <= 1;
let x_3 := 1;
minimize obj: 9*x_1^2 + x_2^2 + 9*x_3^2;
subject to ci_1: x_1*x_2 - 1 >= 0;
display obj;
solve;
display obj;
display x_1;
display x_2;
display x_3;
display obj - 6;
display x_1 - 0.5773502691896258;
display x_2 - 1.732050807568877;
display x_3 - 0;