#include using namespace std; typedef long long ll; #define rep(i,n) for(i=0;i>v >>t; ll vv=v*1000; vv*=t; printf("%lld\n",vv/1000); }