[ Eq(x5, k16 - x1),
  Eq(x6, x3 + x1) ]