x1 3.500000000000000 objvar -12.250000000000000