#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, x;
  scanf("%d%d", &n, &x);
  if (x == 1 || x == 2 * n - 1)
    puts("No");
  else {
    puts("Yes");
    vector<int> ans(2 * n - 1);
    if (n == 2) {
      for (int i = 0; i < (3); i++) ans[i] = i + 1;
    } else {
      ans[1] = 1;
      ans[2] = x;
      ans[3] = 2 * n - 1;
      int num = 1;
      for (int i = 0; i < (2 * n - 1); i++)
        if (i == 0 || 4 <= i) {
          num++;
          if (num == x) num++;
          ans[i] = num;
        }
    }
    for (int i = 0; i < (2 * n - 1); i++) printf("%d\n", ans[i]);
  }
  return 0;
}
