#include <bits/stdc++.h>
#include <iostream>
#include <cstdio>
#include <cstring>
#include <climits>
#include <vector>
#include <string>
#include <algorithm>
#include <cctype>
#include <cstdlib>
#include <utility>
#include <map>
#include <queue>
#include <set>

using namespace std;
typedef long long ll;

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

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

    int t = 1;
   // cin >> t;
    while (t--)
    {
        solve();
    }

    return 0;
}
/*
B
#include <bits/stdc++.h>
#include <iostream>
#include <cstdio>
#include <cstring>
#include <climits>
#include <vector>
#include <string>
#include <algorithm>
#include <cctype>
#include <cstdlib>
#include <utility>
#include <map>
#include <queue>
#include <set>

using namespace std;
typedef long long ll;

void solve()
{
    int ppmax,a,b,c,d,e,f;
    cin>>ppmax>>a>>b>>c>>d>>e>>f;

    float all=a+b+c+d+e+f;
    float a1=300*a+300*b+200*c+100*d+50*e;
    float a2=320*a+300*b+200*c+100*d+50*e;

    float value=a1/(300*all);
    float percentage=value*100;

    printf("%.2f%%",percentage);

    float value2=a2/(320*all);
   // float percentage2=value2*100;
    float maxx=((value2-0.8)>0)?(value2-0.8):0;
    float pp=maxx*5*ppmax;
    int rounded=round(pp);
    printf(" %d\n",rounded);
}

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

    int t = 1;
    cin >> t;
    while (t--)
    {
        solve();
    }

    return 0;
}
/*
2
630 
3029 2336 377 41 10 61
3000
20000 10000 0 0 0 
*/