#include<bits/stdc++.h> using namespace std; int main(){ long long int S,T;//注意使用长整型 cin>>S; cin>>T; double dis = S*T; printf("%.3f",dis/12.0); return 0; }