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