[ Eq(1*x2 + 1*x3 + 1*x5 + 1*x6 + 1*x7 + 1*x8, k20 + k21),
  Eq(1*x4 + 1*x5 + 1*x6 + 1*x9, k22 + k23) ]