objvar 0.000000000000000 x2 0.000000000000000 x3 0.000000000000000 x4 0.000000000000000 x5 0.000000000000000 x6 0.000000000000000 x7 0.000000000000000 x8 -0.000000000000000 x9 -0.000000000000038 x10 -0.000000000000012 x11 -0.000000000000019 x12 -0.000000000000053