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