#include <stdio.h>

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