#include <bits/stdc++.h>
#define fi first
#define se second
#define rep(i,s,n) for (int i = (s); i < (n); ++i)
#define rrep(i,n,g) for (int i = (n)-1; i >= (g); --i)
#define all(a) a.begin(),a.end()
#define rall(a) a.rbegin(),a.rend()
#define len(x) (int)(x).size()
#define dup(x,y) (((x)+(y)-1)/(y))
#define pb push_back
#define eb emplace_back
#define Field(T) vector<vector<T>>
using namespace std;
using ll = long long;
using ull = unsigned long long;
template<typename T> using pq = priority_queue<T,vector<T>,greater<T>>;
using P = pair<int,int>;
template<class T>bool chmax(T&a,T b){if(a<b){a=b;return 1;}return 0;}
template<class T>bool chmin(T&a,T b){if(b<a){a=b;return 1;}return 0;}

int main() {
  int q, k;
  cin >> q >> k;
  if (k >= 5|| (k == 4 && q <= 4) || (k == 3 && q <= 3) || (k == 2 && q == 1)) {
    vector<int> a = {1, 1, 2, 2, 2};
    vector<int> b = {2, 3, 4, 5, 5};
    cout << "Yes" << endl;
    rep(i,0,min(q, 5)) {
      cout << a[i] << " " << b[i] << endl;
    }
    rep(i,0,q-5) {
      cout << 6 << " " << 7 << endl;
    }
    return 0;
  }
  if (k == 4 && q == 5) {
    cout << "Yes" << endl;
    cout << 1 << " " << 2 << endl;
    cout << 1 << " " << 3 << endl;
    cout << 2 << " " << 4 << endl;
    cout << 3 << " " << 5 << endl;
    cout << 2 << " " << 6 << endl;
    return 0;
  }
  cout << "No" << endl;
  return 0;
}