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