#include using namespace std; #define rep(i,a,b) for(int i=a;i > SC; int NV, GR[MV], rev[MV]; private: vector E[MV], RE[MV], NUM; int vis[MV]; public: void init(int NV) { this->NV = NV; for (int i = 0; i= 0; i--) if (!vis[NUM[i]]) { SC[c].clear(); revdfs(NUM[i], c); sort(SC[c].begin(), SC[c].end()); c++; } SC.resize(c); } }; class TwoSat { int NV; SCC sc; public: vector val; void init(int NV) { this->NV = NV * 2; sc.init(NV * 2); val.resize(NV); } void add_edge(int x, int y) { // k+0:normal k+NV:inverse sc.add_edge((x + NV / 2) % NV, y); sc.add_edge((y + NV / 2) % NV, x); } bool sat() { // empty:false sc.scc(); for (int i = 0; isc.GR[i + NV / 2]; return true; } }; //----------------------------------------------------------------- TwoSat ts; int N, M; int L[2010], R[2010]; //----------------------------------------------------------------- int main() { cin >> N >> M; rep(i, 0, N) cin >> L[i] >> R[i]; ts.init(N); rep(i, 0, N) rep(j, i + 1, N) { rep(ii, 0, 2) rep(jj, 0, 2) { int LI = L[i], RI = R[i]; if (ii == 1) LI = M - R[i] - 1, RI = M - L[i] - 1; int LJ = L[j], RJ = R[j]; if (jj == 1) LJ = M - R[j] - 1, RJ = M - L[j] - 1; if (RI < LJ) continue; if (RJ < LI) continue; int a = i + N * (1 - ii); int b = j + N * (1 - jj); ts.add_edge(a, b); } } if (ts.sat()) printf("YES\n"); else printf("NO\n"); }