#include <cstdio> int main() { double h, s; scanf("%lf%lf", &h, &s); printf("%.3lf", s * h / 12); return 0; }
