#include <bits/stdc++.h>
using namespace std;
int main() {
  int tower, num, m, n, o, p, i, k, flag, j;
  while (scanf("%d", &tower) != EOF) {
    flag = 0;
    scanf("%d", &num);
    scanf("%d%d", &n, &k);
    if (n == num || k == num) {
      flag = 1;
    }
    for (i = 1; i < tower; i++) {
      scanf("%d%d", &o, &p);
      num = 7 - num;
      if ((num == n || num == k || num == o || num == p) ||
          ((num == 7 - n || num == 7 - k || num == 7 - o || num == 7 - p)))
        flag = 1;
      n = o;
      k = p;
    }
    if (!flag) {
      printf("YES\n");
    } else {
      printf("NO\n");
    }
  }
  return 0;
}
