#include <bits/stdc++.h>
using namespace std;
void solve() {
  long long n, x;
  scanf("%lld", &n);
  scanf("%lld", &x);
  long long ans;
  if (n <= 2 * x)
    ans = 3 * x;
  else
    ans = 6 * x;
  printf("%lld\n", ans);
}
int main() {
  long long t;
  solve();
}
