#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define rep(i,n) for(int i=0;i<n;i++)
static const ll mod=1000000007;
#define int long long

signed main(void) {
  double v,t;
  cin>>v>>t;
  v*=10000;
  cout<<(v*t)/10000<<endl;
  return 0;
}