SOLUTION OF URI 1017

//    question of uri  1017 Fuel Spent  //1017   (Mahmud_Jamil) BRUR

#include <stdio.h>
int main()
{
    int b,c;
    float a=12.0,d;
    scanf("%d %d",&b,&c);
    d=(b*c)/a;
    printf("%.3f\n",d);

    return 0;

}