ll@n,@m,@k;
if(k==1){
	if(m==n*(n-1)/2){
		wt("No");
		exit(0);
	}
	wt("Yes");
	if(!m)exit(0);
	rep(i,n){
		rep(j,i+1,i?n:n-1){
			wt(i+1,j+1);
			if(!--m)exit(0);
		}
	}
}else{
	ll es=n*(n-1)/2;
	ll ec=(n-k)*(n-k-1)/2;
	ll ea=ec+(n-k)*2;
	if(m<es-ea){
		wt("No");
		exit(0);
	}
	if(m>es-k){
		wt("No");
		exit(0);
	}
	wt("Yes");
	rep(i,k-2){
		rep(j,i+2,n){
			wt(i+1,j+1);
			--m;
		}
	}
	wt(k-1,n);
	if(!--m)exit(0);
	rep(i,k,n-1){
		wt(k-1,i+1);
		if(!--m)exit(0);
		wt(i+1,n);
		if(!--m)exit(0);
	}
	rep(i,k-1,n-1){
		rep(j,i+1,n-1){
			wt(i+1,j+1);
			if(!--m)exit(0);
		}
	}
}