#include<stdio.h>
 
int main()
{
    long long int v,t,s;
 
    while(scanf("%lld%lld",&v,&t)!=EOF)
    {
        s=2*v*t;
        printf("%lld\n",s);
    }
 
    return 0;
}