//本题只用scanf和printf可以做出来,但有两个小坑
#include<bits/stdc++.h>
using namespace std;
long long s,t;
//第一个坑,要开long long,因为数据有点大,int可能会爆0
double ans;
int main()
{
scanf("%lld%lld",&t,&s);
ans=t*s*1.0/12;
//这道题第二个坑,乘1.0来保存小数点后的数
printf("%.3lf",ans);
return 0;
}