#include <bits/stdc++.h>
long long ans = 0;
void gcd(long long a, long long b) {}
int main() {
  long long n, x;
  scanf("%lld%lld", &n, &x);
  long long y = n - x;
  if (y > x) {
    std::swap(x, y);
  }
  gcd(x, y);
  printf("%lld\n", (n << 1) + x);
  return 0;
}
