#include <bits/stdc++.h>
int main(void) {
  int i, j, temp;
  int n, x;
  int sum = 0;
  scanf("%d%d", &n, &x);
  if (x > n / 2) x = n - x;
  if (n % x == 0) {
    printf("%d", (n - x) * 3);
  } else {
    printf("%d", (n - 1) * 3);
  }
  return (0);
}
