[ Eq(x17, 3/2 - x16),
  Eq(x21, 15 - 2*(x1 + x3 + x6 + x9) - (x2 + x4 + x5 + x7 + x8 + x10 + x11 + x12 + x13 + x14 + x15 + x16)) ]