#include<iostream> #include<cstdio> using namespace std; int main(){ long long a,b; double s=0; scanf("%lld %lld",&a,&b); s=a*b/12.0; printf("%.3lf",s); return 0; }
