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