i1 3.000000000000000 i2 10.000000000000000 i3 8.000000000000000 i4 12.000000000000000 x5 1.080020914581980 x6 3.485358811362300 x7 2.241583824486730 objvar 5.760539616453500