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