[ Eq(x2, k6 - x3),
  Eq(x6, k5 - x1) ]