#include <bits/stdc++.h>
#pragma comment(linker, "/STACK:20000000")
using namespace std;
int ri() {
  int x;
  scanf("%d", &x);
  return x;
}
long long rll() {
  long long x;
  scanf("%lld", &x);
  return x;
}
void solve() {
  int n = ri();
  int a = ri();
  for (int i = (int)(1); i <= (int)(n); i++) {
    int down = 7 - a;
    int l = ri(), r = ri();
    set<int> st;
    st.insert(down);
    st.insert(7 - down);
    st.insert(l);
    st.insert(r);
    st.insert(7 - l);
    st.insert(7 - r);
    if (st.size() != 6) {
      cout << "NO" << endl;
      return;
    }
    a = down;
  }
  cout << "YES" << endl;
}
int main() {
  solve();
  return 0;
}
