#include <bits/stdc++.h>
using namespace std;
int main() {
  int n;
  scanf("%d", &n);
  vector<pair<int, int> > dice(n);
  int face;
  scanf("%d", &face);
  for (int(i) = 0; i < int(n); ++i) {
    scanf("%d %d", &dice[i].first, &dice[i].second);
    if (dice[i].first == face || dice[i].second == face ||
        dice[i].first + dice[i].second == 7 || dice[i].first + face == 7 ||
        face + dice[i].second == 7) {
      printf("NO\n");
      return 0;
    }
  }
  printf("YES\n");
  return 0;
}
