// editor1
#include<stdio.h>
int main(){
    float length;
    float width;
    float a;
    scanf("%f",&length);
    scanf("%f",&width);
    a=length*width;
    printf(a/100);
    
    return 0;
}