x1 4.000000000000000 x2 14.000000000000000 x3 22.000000000000000 objvar -158.000000000000000