objvar -400.000000000000000 x3 1.000000000000000 x7 100.000000000000000 x9 100.000000000000000 x11 100.000000000000000