s,n;main(i){for(scanf("%d",&s);i<15;)n+=10412>>i&s%i<1&s/i<15&5968>>s/i++;s=!printf("%.12f",n/36.);}