[ Eq(x6, k20 - x2),
  Eq(x7, x3) ]