#include <bits/stdc++.h>
#define rep(i,n) for(int i = 0; i < (n); i++)
using namespace std;
typedef long long ll;

int main(){
    cin.tie(0);
    ios::sync_with_stdio(0);
    
    using ld = long double;
    int P,C; cin >> P >> C;
    ld ans = 1.0;
    rep(_,P) ans *= ld(2 + 3 + 5 + 7 + 11 + 13) / 6.0;
    rep(_,C) ans *= ld(4 + 6 + 8 + 9 + 10 + 12) / 6.0;
    cout << fixed << setprecision(20) << ans << endl;
}