#include <iostream> #include <cstdio> using namespace std; int main() { long t,s; double a; cin>>t>>s; a=t*s/12.0; printf("%.3lf",a); return 0; }