#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, m;
  scanf("%d%d", &m, &n);
  if (n * 2 == m) {
    printf("%d\n", 3 * n);
  } else {
    printf("%d\n", m / 2 * 3 * n);
  }
  return 0;
}
