#include<stdio.h>
int main()
{
    float length;
    float width;
    scanf("%d",&length);
    scanf("%d",&width);
    printf("%0.1f\n",length*width);
    return 0;
}