#include <bits/stdc++.h>
using namespace std;
typedef long long ll;

int main(){
	double v; int t; cin>>v>>t;
	ll vt=v*10000;
	cout<<vt*t/10000<<endl;
}