x1 0.800000000000000 x2 0.050000000000000 x6 0.050000000000000 x7 0.050000000000000 x8 0.050000000000000 x9 0.032217661812800 b10 1.000000000000000 b11 1.000000000000000 b15 1.000000000000000 b16 1.000000000000000 b17 1.000000000000000 objvar 0.032217661812800