distance2835

#include<stdio.h>
int main()
{
    int v,t,s;
    scanf("%d%d",&v,&t);
    s=v*t*2;
    printf("%d",s);
    return 0;
}