#include <bits/stdc++.h>
using namespace std;
long long n, k;
int main() {
  scanf("%lld%lld", &n, &k);
  if (n % k == 0)
    printf("%lld", k * (n / k - 1) * 3);
  else
    printf("%lld", k * (n / k) * 3);
  return 0;
}
