x1 2.000000000000000 x2 4.000000000000000 objvar -68.000000000000000