#include<cstdio>
#include<iostream>
#include<algorithm>
using namespace std;
int main() {
    int a,b;
    while(cin >> a >> b) {
        double ans = a * b / 33057850.0;
        printf("%lf\n", ans * 10000000);
    }
    return 0;
}