#include<bits/stdc++.h> using namespace std; long t,s; int main() { cin>>t>>s; cout<<fixed<<setprecision(3)<<double(t*s)/double(12); return 0; }
