#include <bits/stdc++.h>
using namespace std;
const int maxn = 100 + 5;
const int INF = 1000000000;
int main() {
  int n;
  while (cin >> n) {
    int tem;
    cin >> tem;
    int ans = 1;
    int a, b;
    cin >> a;
    a = min(a, 7 - a);
    cin >> b;
    b = min(b, 7 - b);
    for (int i = 1; i < n; i++) {
      int tema, temb;
      cin >> tema;
      tema = min(tema, 7 - tema);
      cin >> temb;
      temb = min(temb, 7 - temb);
      if (ans == 0) {
        continue;
      }
      if ((tema != a && tema != b) || (temb != a && temb != b)) {
        ans = 0;
      }
    }
    if (ans == 1)
      cout << "YES\n";
    else
      cout << "NO\n";
  }
  return 0;
}
