[ Eq(x1, k30 - x2),
  Eq(x5, k31 - x6),
  Eq(x8, k29),
  Eq(x9, k32 - x10),
  Eq(x18, x3 + x4 + x7) ]