[ Eq(x5, k6 - x3),
  Eq(x6, k11 - x1) ]