#include <bits/stdc++.h> using namespace std; int main() { double S, T; cin>>S>>T; printf("%.3lf", S * T / 12.0); return 0; }
