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