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