uri- 1017 - Fuel Spent

#include<stdio.h>

int main()
{
    double a,b,c;
    scanf("%lf %lf",&a,&b);
    c=(a*b)/12;

    printf("%.3lf\n",c);
    return 0;

}