#include <bits/stdc++.h>
using namespace std;
int main() {
  long long N, x;
  cin >> N >> x;
  long long res = 0ll;
  ;
  if (N - 2 * x > 0) {
    res = 2 * N + x;
  } else if (N - 2 * x == 0) {
    res = 3 * x;
  } else {
    res = 3 * x;
  }
  cout << res << endl;
  return 0;
}
