x1 3.000000000000000 x2 2.000000000000000 x4 2.000000000000000 objvar -2.750000000000000