# include <stdio.h>
int main()
{
    int n, x, t=1;
    scanf("%d%d",&n,&x);
    if(x == 1 || x == 2*n-1)
        return 0*puts("No");
    puts("Yes");
    for(int i=1; i<n-1; ++i)
    {
        while(t==x || t==x-1 || t==x+1) ++t;
        printf("%d\n",t++);
    }
    printf("%d\n%d\n%d\n",x-1,x,x+1);
    for(int i=1; i<n-1; ++i)
    {
        while(t==x || t==x-1 || t==x+1) ++t;
        printf("%d\n",t++);
    }
    return 0;
}
