#include <bits/stdc++.h>
using namespace std;
inline int in() {
  int x;
  scanf("%d", &x);
  return x;
}
inline long long inL() {
  long long x;
  scanf("%lld", &x);
  return x;
}
string toString(long long n) {
  stringstream ss;
  ss << n;
  return ss.str();
}
long long toNumber(string s) {
  stringstream ss;
  long long n;
  ss << s;
  ss >> n;
  return n;
}
int main() {
  long long n = inL(), x = inL();
  long long ans = 3 * x + 3 * (n - 2 * x) + (n - x);
  cout << ans << endl;
  return 0;
}
