{ x14 = x10 + x9 + x12 + x11 + x6 + x5 + x2 + x1,
  x15 = (x8 + x10 + x9 + x12 + x11 + x13)/3 }