x1 1.000000000000000 x2 1.000000000000000 x3 1.000000000000000 x4 1.000000000000000 x5 1.000000000000000 x6 1.000000000000000 x7 1.000000000000000 x8 1.000000000000000 x9 1.000000000000000 x10 3.000000000000000 x11 3.000000000000000 x12 3.000000000000000 x13 1.000000000000000 objvar -15.000000000000000