x1 4.000000000000000 x2 4.000000000000000 x3 0.250000000000000 objvar -215.125000000000000