x1 26.349211612056401 x2 3.193196749775920 x3 2.200000000000000 x4 0.752371067237291 x5 1.814259119538030 x6 1.764911064067350 x7 0.800000000000000 x8 6.049768121193060 x9 1.700000000000000 x10 0.500000000000000 x11 0.500000000000000 x12 7.749768121193060 x13 3.400000000000000 objvar 8.819124605025410