#include <vector>
#include <iostream>
#include <random>
#include <algorithm>
 
using namespace std;
 
int main()
{
    mt19937 g(random_device{}());
    vector<int> v;
    for(int i = 0; i < 28; ++i)
        if (i < 7) v.push_back(1);
        else v.push_back(0);
    int total = 0, ok = 0;
    for(int i = 0; i < 1000000; ++i)
    {
        shuffle(v.begin(),v.end(),g);
        if (v[0]+v[1]+v[2]+v[3] == 1) ++ok;
        ++total;
    }
    cout << double(ok)/total << endl;
}
 
 
 

I2luY2x1ZGUgPHZlY3Rvcj4KI2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8cmFuZG9tPgojaW5jbHVkZSA8YWxnb3JpdGhtPgoKdXNpbmcgbmFtZXNwYWNlIHN0ZDsKCmludCBtYWluKCkKewogICAgbXQxOTkzNyBnKHJhbmRvbV9kZXZpY2V7fSgpKTsKICAgIHZlY3RvcjxpbnQ+IHY7CiAgICBmb3IoaW50IGkgPSAwOyBpIDwgMjg7ICsraSkKICAgICAgICBpZiAoaSA8IDcpIHYucHVzaF9iYWNrKDEpOwogICAgICAgIGVsc2Ugdi5wdXNoX2JhY2soMCk7CiAgICBpbnQgdG90YWwgPSAwLCBvayA9IDA7CiAgICBmb3IoaW50IGkgPSAwOyBpIDwgMTAwMDAwMDsgKytpKQogICAgewogICAgICAgIHNodWZmbGUodi5iZWdpbigpLHYuZW5kKCksZyk7CiAgICAgICAgaWYgKHZbMF0rdlsxXSt2WzJdK3ZbM10gPT0gMSkgKytvazsKICAgICAgICArK3RvdGFsOwogICAgfQogICAgY291dCA8PCBkb3VibGUob2spL3RvdGFsIDw8IGVuZGw7Cn0KCgo=