#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, i, a[101], b[101], m, flag;
  while (scanf("%d", &n) != EOF) {
    scanf("%d", &m);
    flag = 0;
    for (i = 1; i <= n; i++) scanf("%d%d", &a[i], &b[i]);
    for (i = 1; i <= n; i++) {
      if (a[i] + b[i] == 7) {
        flag = 1;
        break;
      }
    }
    if (flag == 0) {
      for (i = 1; i <= n; i++) {
        if (a[i] == m || a[i] == 7 - m || b[i] == m || b[i] == 7 - m) {
          flag = 1;
          break;
        }
      }
    }
    if (flag == 1)
      printf("NO\n");
    else
      printf("YES\n");
  }
  return 0;
}
