#include <iostream>

int main(void)
{
	float v, t;
	std::cin >> v >> t;

	printf("%.f", v*t-0.5);

	return 0;
}