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