#include <bits/stdc++.h>

using i64 = long long;
using f64 = long double;

void solve()
{
    int n, m;
    std::cin >> n >> m;
    std::cout << n * m * 6ll << '\n';
}

int main()
{
    std::ios::sync_with_stdio(false);
    std::cin.tie(nullptr);
    int T = 1;
    // std::cin >> T;
    while(T --) solve();
    return 0;
}