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