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