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