#include <stdio.h>

int main(){
    int v;
    int t, dist;

    scanf("0.%d %d", &v, &t);
    dist = v*t;
    printf("%d\n", v*t/10000);

    return 0;
}