x1 1.000000000000000 x3 1.000000000000000 objvar 1.999999994068950