#include
#define N 12
void main()
{
int i,j,k,a[N]={31,28,31,30,31,30,31,31,30,31,30,31};
scanf("%d %d\n",&i,&k);
if(i%4==0)
{
a[1]++;
}
if(k%7==0)
printf("%d/1/13\n",i);
for(j=2;j<=N;j++)
{
{ if(a[j-2]==31)
k=(k+3)%7;
else if(a[j-2]==30)
k=(k+2)%7;
else if(a[j-2]==29)
k=(k+1)%7;
else if(a[j-2]==28)
k=k;
}
if(k%7==0)
printf("%d/%d/13\n",i,j);
}
}