x1 4.000000000000000 x2 4.000000000000000 x3 3.750000000000000 objvar -11.281250000000000