x1 -3.000000000000000 objvar 7.000000000000000