x2 -1.000000000000000 x3 -0.500000000000000 x4 -0.000000000000122 x5 -1.000000000000000 x6 -0.500000000000042 x9 -0.866025403784487 x10 0.000000000000070 x11 -0.000000000000000 x12 -0.866025403784511 x14 0.433012701892244 x15 -0.000000000000070 x16 0.000000000000035 x17 0.433012701892255 objvar -0.866025403784464