#include <bits/stdc++.h>

using i64 = long long;

int main() {
    std::ios::sync_with_stdio(false);
    std::cin.tie(0); std::cout.tie(0);

    int n, m;
    std::cin >> n >> m;

    std::cout << n * m * 6 << '\n';

    return 0;
}