Q, K = map(int, input().split())

if Q == 5 and K == 4:
    print("Yes")
    print(1, 2)
    print(1, 2)
    print(3, 4)
    print(3, 4)
    print(5, 6)
    exit(0)

def validate(ans):
    global K
    for S in range(1 << 2):
        A = [(S >> 0) & 1, (S >> 1) & 1]
        for k in range(Q):
            i, j = ans[k]
            A.append(1 - (A[i - 1] & A[j - 1]))
        # print(A)
        if sum(A) > K:
            return "No"
    return "Yes"

ans = [
    [1, 2],
    [1, 2],
    [3, 4],
    [4, 5],
    [4, 5],
    [6, 7],
]

wa = [2, 3, 3, 4, 5, 5]

while len(ans) < Q:
    ans.append(ans[-1])
    wa.append(wa[-1])

if wa[Q - 1] <= K:
    print("Yes")
    for i in range(Q):
        print(*ans[i])

    if validate(ans) == "No":
        assert 0
else:
    print("No")