using System;

public class Program {
    public static void Main() {
        string[] vt = Console.ReadLine().Split();
        int v = int.Parse(vt[0].Replace(".", ""));
        int t = int.Parse(vt[1]);
        Console.WriteLine(v*t/10000);
    }
}