x1 0.200000000000000 x2 0.800000000000000 x3 1.907878402830000 x4 1.000000000000000 x5 1.000000000000000 x7 1.000000000000000 b8 1.000000000000000 b9 1.000000000000000 b11 1.000000000000000 objvar 4.579582402445210