#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll=long long;
ll inf=1000000000000000;
using mint=modint998244353;
using pint=pair<mint,mint>;

bool is_prime(int l1,int l2,int r1,int r2){
    return !((l1<=r2&&r2<=r1)||(l2<=r1&&r1<=r2));
}
int main()
{
    int n,m;
    cin>>n>>m;
    vector<pair<int,int>> s(n);
    for(int i=0;i<n;i++)cin>>s[i].first>>s[i].second;
    scc_graph g(2*n);
    for(int i=0;i<n;i++){
        for(int j=0;j<n;j++){
            if(i==j)continue;
            int l1=s[i].first,l2=s[j].first,r1=s[i].second,r2=s[j].second;
            if(!is_prime(l1,l2,r1,r2))g.add_edge(i,j+n);
            if(!is_prime(l1,m-1-r2,r1,m-1-l2))g.add_edge(i,j);
            if(!is_prime(m-1-r1,l2,m-1-l1,r2))g.add_edge(i+n,j+n);
            if(!is_prime(m-1-r1,m-1-r2,m-1-l1,m-1-l2))g.add_edge(i+n,j);

        }
    }

    vector<vector<int>> scc=g.scc();
    bool ok=true;

    for(vector<int> v:scc){
        sort(v.begin(),v.end());
        for(int x:v){
            if(x>=n)break;
            if(lower_bound(v.begin(),v.end(),x+n)!=v.end()&&*lower_bound(v.begin(),v.end(),x+n)==x+n)ok=false;
        }
    }
    cout<<(ok?"YES":"NO")<<endl;

    

    


    
}