main(n,b){for(b=n=atoi(gets(b)+12);n/=2;b-=n);printf("/%d",b+24);}