#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int main(void)
{
	int dp[2];
	char str[32], *ch;
	fgets(str, sizeof(str), stdin);
	ch = strtok(str, " \n");
	for (int i = 0; i < 2; i++) {
		if (ch == NULL) break;
		else dp[i] = atoi(ch);
		ch = strtok(NULL, " \n");
	}
	printf("%d\n", (int)(dp[0] * dp[1] / (double)100) + dp[0]);
	return 0;
}