[ Eq(1*k1*x4 + 1*k1*x5 + 1*k1*x7 + 1*k1*x11 + 1*k1*x12, k1*k21),
  Eq(1*k1*x6 + 1*k1*x8, k1*k22) ]