{ 1*k13*x1 + 1*k13*x2 + 1*k13*x5 + 1*k13*x7 + 1*k13*x9 = k13*k14, 1*k13*x2 + 1*k13*x3 + 1*k13*x4 + 1*k13*x5 + 1*k13*x6 + 1*k13*x7 + 1*k13*x8 + 1*k13*x9 = k13*k15 }