{ 1*k1*x1 + 1*k1*x2 + 1*k1*x5 + 1*k1*x6 + 1*k1*x8 + 1*k2*x11 + 1*k2*x12 + 1*k2*x13 = k1*k21 + k2*k22,
  1*k1*x2 + 1*k1*x4 + 1*k1*x5 + 1*k1*x6 = k1*k23,
  1*k2*x10 + 1*k2*x12 = k2*k24 }