#include<stdio.h>

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