b[];c[]={24,25,32};main(){gets(b);printf("/%d",c[b[3]%16]);}