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