x1 5.000000000000030 x2 0.500000000000000 x3 0.500000000000000 x4 1.500000000000000 x5 0.500000000000000 x6 2.500000000000000 x7 0.500000000000000 x8 3.500000000000000 x9 0.500000000000000 x10 4.500000000000030 x11 0.500000000000000 x12 5.000000000000030 x13 1.000000000000000 objvar 1.073009183012790