#include <iostream> #include <cstdio> using namespace std; int main() { long long a, b; cin >> a >> b; double result = (a * b / 12.0); printf("%.3lf",result); return 0; }
