#include <bits/stdc++.h>
int main(void) {
  int n, x;
  scanf("%d %d", &n, &x);
  if (n % 2 == 1) {
    printf("%d", (n - 1) * 3);
  } else {
    if (n / 2 > x)
      printf("%d", (n - x) * 3);
    else
      printf("%d", x * 3);
  }
}
