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