UVA 10071

#include<iostream>
using namespace std;
int main(void)
{
    long long v,t;
    while((cin>>v>>t))
    {
        long long d = 2*v*t;
        cout<<d<<endl;
    }
    return 0;
}