#include <bits/stdc++.h>using namespace std;double ai[10],sig;int main(){    for(int i=1;i<=7;i++) scanf("%lf",&ai[i]),sig+=ai[i];    double ans=5040;    for(int i=1;i<=6;i++) ans=ans*ai[i]/(sig-i+1);    ans*=ai[7];printf("%.3lf",ans);    return 0;}