x1 -0.600000000000001 x2 -0.399999999999999 objvar 30.000000000000000