using namespace std;
int main() { long long a,b; cin >> a >> b; printf(“%.3lf”,(a*b)/12.0); return 0; }