objvar 17.000000000000000 x2 1.000000000000000 x5 3.000000000000000 x6 6.000000000000000 x8 3.500000000000000