x1 27.000000000000000 x2 1.000000000000000 x4 10.000000000000000 objvar 10.000000000000000