#include <bits/stdc++.h>
int main() {
  int n, k, total = 0, d, d1, d2, d3;
  ;
  scanf("%d%d", &n, &k);
  if (n == 2) {
    printf("6");
    return 0;
  } else {
    total = 6;
    d1 = n - 2;
    total = total + (d1 * 3);
    if (k != n && k != 1) {
      d2 = n - k;
      d3 = k - 1;
      if (d3 > d2) {
        d = d2;
      } else {
        d = d3;
      }
      total += d;
    }
  }
  printf("%d", total);
  return 0;
}
