#include <stdio.h>

int main(void) {
	int dum,v,t;
	scanf("%d.%d%d",&dum,&v,&t);
	printf("%d\n",v*t/10000);
	return 0;
}