#include <iostream> using namespace std; int main() { double S, T; scanf("%lf%lf", &S, &T); printf("%.3f", S * T / 12.0); return 0; }