#include <cstdio>

int as[200000];

int main(){
  int N,X;
  scanf("%d %d",&N,&X);
  if(X==1||X==N*2-1){
    printf("No\n");
    return 0;
  }
  for(int i=0;i<N*2-1;i++){
    as[i]=(i+X-N+N*2-1)%(2*N-1)+1;
  }
  printf("Yes\n");
  for(int i=0;i<N*2-1;i++){
    printf("%d\n",as[i]);
  }
  return 0;
}
