#include <bits/stdc++.h>
int main() {
  int n, x;
  scanf("%d\n%d\n", &n, &x);
  int temp1, temp2;
  int i;
  for (i = n; i--;) {
    scanf("%d %d", &temp1, &temp2);
    if (temp1 == x || temp1 == 7 - x) {
      break;
    }
    if (temp2 == x || temp2 == 7 - x) {
      break;
    }
  }
  if (i == -1) {
    printf("%s", "YES");
  } else {
    printf("%s", "NO");
  }
  return 0;
}
