[ Eq(x10, k1 - (x2 + x4 + x5 + x3)),
  Eq(x11, k2 - x6),
  Eq(x12, k3 - x7),
  Eq(x13, k4 - x8),
  Eq(x14, k5 - x9) ]