///三个周期是23,28,33，

#include <stdio.h>

int main()

{

    int p,e,i,d,Case=;

    while(scanf("%d%d%d%d",&p,&e,&i,&d),p!=-)

    {

        int t1=p%,t2=e%,t3=i%;///三个周期第一次出现的时间

        int day;

        for(day=d+;day<=;day++)

        {

            if((day-t1)%==)

                break;

        }

        for(;day<=;day+=)

        {

            if((day-t2)%==)

                break;

        }

        for(;day<=;day+=*)

        {

            if((day-t3)%==)

                break;

        }

        printf("Case %d: the next triple peak occurs in %d days.\n",Case,day-d);

        Case++;

    }

    return ;

}