#include <iostream> #include <cstdio> using namespace std; typedef long long ll; int main(){ int time, speed; cin >> time >> speed; printf("%.3lf", (ll)time*speed*1.0/12); return 0; }
