#include<iostream>
using namespace std;

int main()
{
	int a,b;
	float l;
	cin>>a>>b;
	l=(a*b)/12.000;
	cout. precision(3);
	cout<<fixed<<l<<endl;
    return 0;
}