equations: 0 1 2 3 4 5 6 7 8 9 10 11


0: - 10000*x10*x11*x3 - 10000*x10*x11*x5 - 10000*x10*x11*x7 + 10000*x12*x4 + 10000*x12*x6 + 10000*x12*x8 - 4077
1: 2000*x1*x10 + 2000*x2*x4*x9 + 2000*x2*x6*x9 + 2000*x2*x8*x9 - 3823
2: 10000*x3*x9 + 10000*x5*x9 + 10000*x7*x9 - 19791
3: 3750*x2*x4 + 2500*x2*x6 + 1250*x2*x8 - 5077
4: 7500*x1*x4 + 5000*x1*x6 + 2500*x1*x8 - 4293
5: 30000*x3 + 20000*x5 + 10000*x7 - 39701
6: x11^2 + x12^2 - 1
7: x10^2 + x9^2 - 1
8: x7^2 + x8^2 - 1
9: x5^2 + x6^2 - 1
10: x3^2 + x4^2 - 1
11: x1^2 + x2^2 - 1


example d1