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

int main(){
	double v,t; cin>>v>>t;
	int ans=v*1000*t+1;
	cout << ans/1000 << endl;
}