{ 1*k1*x4 + 1*k1*x5 + 1*k1*x7 + 1*k1*x11 + 1*k1*x12 = k1*k21,
  1*k1*x6 + 1*k1*x8 = k1*k22 }