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