x1 5.000000000000000 objvar 9.000000000000000 x3 3.000000000000000 x4 2.000000000000000 x5 9.000000000000000 x6 1.000000000000000