#include <bits/stdc++.h>
using namespace std;
int main(void) {
  long long int N, X, ans = 0;
  cin.tie(0);
  ios::sync_with_stdio(false);
  cin >> N >> X;
  if (N / 2.0 > X) {
    ans = 4 * (N - X);
  } else if (N / 2.0 == X) {
    ans = 3 * X;
  } else if (N / 2.0 < X) {
    ans = 8 * N - 7 * X;
  }
  cout << ans << endl;
  return 0;
}
