objvar -750.000000000000000 x2 50.000000000000000 x3 150.000000000000000 x7 200.000000000000000 x8 0.250000000000000 x9 0.750000000000000 x11 1.000000000000000 x13 50.000000000000000 x15 150.000000000000000