#include #include #include #include #include #include #include #include #include #include #include using namespace std; typedef long long ll; unsigned long long xor128() { static unsigned long long rx = 123456789, ry = 362436069, rz = 521288629, rw = 88675123; unsigned long long rt = (rx ^ (rx << 11)); rx = ry; ry = rz; rz = rw; return (rw = (rw ^ (rw >> 19)) ^ (rt ^ (rt >> 8))); } int main() { int K; cin >> K; ll loop_cnt = 10000000; ll sum = 0; for (int i = 0; i < loop_cnt; ++i) { int n = 0; int cnt = 0; while (n < K) { n += (xor128() % 6) + 1; if (n > K) n = 0; ++cnt; } sum += cnt; } cout << fixed << setprecision(10) << sum / (double) loop_cnt << endl; return 0; }