var x {1..10} >= 0, <= 10; param best_val_found := 24.30620907; param eps := 1; # = max(1, 1% x best_val_found) subject to f: x[1]^2 + x[2]^2 + x[1] * x[2] - 14 * x[1] - 16 * x[2] + (x[3] - 10)^2 + 4 * ( x[4] - 5)^2 + (x[5] - 3)^2 + 2 * (x[6] - 1)^2 + 5 * x[7]^2 + 7 * (x[8] - 11)^2 + 2 * (x[9] - 10)^2 + (x[10] - 7)^2 + 45 <= best_val_found + eps; subject to cons1: 105 - 4*x[1] - 5*x[2] + 3*x[7] - 9*x[8] >= 0; cons2: - 10*x[1] + 8*x[2] + 17*x[7] - 2*x[8] >= 0; cons3: 8*x[1] - 2*x[2] - 5*x[9] + 2*x[10] + 12 >= 0; cons4: -3*(x[1] - 2)^2 - 4 *(x[2] - 3)^2 - 2*x[3]^2 + 7*x[4] + 120 >= 0; cons5: - 5*x[1]^2 - 8*x[2] - (x[3] - 6)^2 + 2*x[4] + 40 >= 0; cons6: - 0.5*(x[1] - 8)^2 - 2*(x[2] - 4)^2 - 3*x[5]^2 + x[6] + 30 >= 0; cons7: - x[1]^2 - 2*( x[2] - 2)^2 + 2*x[1]*x[2] - 14*x[5] + 6*x[6] >= 0; cons8: 3*x[1] - 6*x[2] - 12*(x[9] - 8)^2 + 7*x[10] >= 0; solve; display x;