#include <bits/stdc++.h>
using namespace std;
int main() {
  int N, te1, f1 = 0;
  cin >> N >> te1;
  for (int i = 0; i < N; i++) {
    int te2, te3;
    cin >> te2 >> te3;
    if (te2 == te1 || te2 == 7 - te1 || te3 == te1 || te3 == 7 - te1) f1 = 1;
  }
  if (f1)
    cout << "NO\n";
  else
    cout << "YES\n";
  return 0;
}
