#include<bits/stdc++.h>
using namespace std;

long long t, s;//t和s没有超过int的最大值，但二者的乘积可能大于(越界)

int main()
{
    cin.tie(0);
    cin >> t >> s;
    cout << fixed << setprecision(3) << t * s / 12.0 << endl;
    return 0;
}