UVa 10071.cpp

#include<bits/stdc++.h>
using namespace std;
int main(){
    int v, t;
    while(scanf("%d %d", &v, &t)!=EOF){
        cout << v*t*2 << endl;
    }
    return 0;
}