#include<stdio.h>
int main()
{
    float a,b,c,d;
    scanf("%f,%f,%f,%f",a,b,c,d);
    printf("%.1f\n",a*b);
   
    return 0;
}