using namespace std;
int main() { double S, T; scanf(“%lf%lf”, &S, &T); printf(“%.3f”, S * T / 12.0);
return 0;
}