x1 0.309171714303746 x2 1.056173110934540 x3 23.089105651074199 x4 0.009678253787353 x5 1.252639897517030 x6 5.000000000000000 x7 0.961902770764531 x8 5.000000000000000 x9 0.200000000000000 x10 2.926253377633600 x11 0.200000000000000 x12 5.000000000000000 x13 5.000000000000000 objvar -157.586532068334009 b16 1.000000000000000 b18 1.000000000000000 b20 1.000000000000000 b31 1.000000000000000 b33 1.000000000000000 b35 1.000000000000000 b37 1.000000000000000 b38 1.000000000000000