x2 0.018965517241379 x4 1.206896551724140 x8 0.004220000000000 x9 0.000338000000000 x10 0.000013500000000 x11 0.000000270000000 objvar 1.206896551724140