#include <iostream> using namespace std; int main() { long s, t; cin >> s >> t; double x = s * t / 12.0; printf("%.3lf\n", x); return 0; }