#include <bits/stdc++.h>
#define ff first
#define ss second
using namespace std;

typedef long long ll;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;

int main() {
	cin.tie(0); ios_base::sync_with_stdio(0);
	
	int n, k; cin >> n >> k;
	if(k == 1)
	{
		if(n == 1) return !(cout << "YES\n0");
		else if(n == 2) return !(cout << "YES\n1\n1 2");
		else
		{
			cout << "YES\n";
			cout << n << '\n';
			for(int i = 0; i < n; ++i) cout << i + 1 << ' ' << (i + 1) % n + 1 << '\n';
			return 0;
		}
	}

	if(n < k + 1) return !(cout << "NO");

	int ord[k + 1];
	int t = (k + 1) / 2;
	for(int i = 0; i < t; ++i) ord[i] = i + 1;
	for(int i = t; i <= k; ++i) ord[i] = i;

	vector<pii> V;
	for(int i = k; i >= 0; --i)
	{
		for(int j = 1; j <= ord[i]; ++j)
		{
			V.push_back({i, i - j});
			--ord[i - j];
		}
		ord[i] = 0;
	}

	int pr = 0;
	for(int i = k + 1; i < n; ++i)
	{
		V.push_back({pr, i});
		pr = i;
	}

	cout << "YES\n";
	cout << V.size() << '\n';
	for(auto [x, y] : V) cout << x + 1 << ' ' << y + 1 << '\n';
}