#include <bits/stdc++.h>
using namespace std;
long long gcd(long long a, long long b) { return (b == 0 ? a : gcd(b, a % b)); }
long long lcm(long long a, long long b) { return (a * (b / gcd(a, b))); }
long long POWER(long long x, long long y, long long m) {
  if (y == 0) return 1;
  if (y % 2 == 0) {
    long long temp = POWER(x, y / 2, m);
    temp *= temp;
    temp %= m;
    return temp;
  }
  long long temp = POWER(x, y - 1, m);
  temp *= x;
  temp %= m;
  return temp;
}
long long POWER(long long x, long long y) {
  if (y == 0) return 1;
  if (y % 2 == 0) {
    long long temp = POWER(x, y / 2);
    temp *= temp;
    return temp;
  }
  long long temp = POWER(x, y - 1);
  temp *= x;
  return temp;
}
int main() {
  ifstream fin("ali");
  unsigned long long n, x;
  cin >> n >> x;
  if (n > x * 2)
    cout << 4ll * (n - x) << '\n';
  else if (n == x * 2)
    cout << 3ll * x << '\n';
  else
    cout << x + 4 * (n - x) << '\n';
}
