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