x1 5.388076338087850 x2 6.399097558722200 objvar 4.574247785016330