x1 2.000000000000000 x2 8.000000000000000 x3 10.000000000000000 x4 1.000000000000000 objvar 10.000000000000000