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

int main() {
	ios::sync_with_stdio(false);
	cin.tie(0); 
	int v, t;
	scanf("0.%d%d", &v, &t);
	cout << v * t / 10000 << endl;
	return 0;
}