#include <bits/stdc++.h>

using ll = long long;

int main() {
  std::ios::sync_with_stdio(false);
  std::cin.tie(nullptr);
  ll n, m;
  std::cin >> n >> m;
  std::cout << (n * m) * 6;    
  return 0;
}