#include <stdio.h>
int main()
{
    int price, discount;
    scanf("%d %d", &price, &discount);
    printf("%.2f", price*discount*0.1);
    return 0;
}