x1 1.000000000000000 objvar 0.000000000000000