#include<bits/stdc++.h>

using namespace std;
typedef long long ll;
const ll N = 1000007;

int n,m;


void solve( ){
	cin>>n>>m;
    cout<<m * n * 6<<'\n';
}
int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);cout.tie(0);
    ll T=1;
    // cin >> T;
    while(T--){
        solve();
    }
}
/*
 3
 4 2
 3 6
 1 3
 2 7
 5 6
 2 5
 2 4
 6 8

9 4
3 6
3 4
3 5
7 12
6 15
6 9
11 14
1 5
2 5


*/