[ Eq(x14, x10 + x9 + x12 + x11 + x6 + x5 + x2 + x1),
  Eq(x15, (x8 + x10 + x9 + x12 + x11 + x13)/3) ]