using namespace std;
int main() { int t,s; scanf(“%d\n”,&t); scanf(“%d\n”,&s); printf(“%.3lf”,(double)s*t/12); return 0; }