#include<stdio.h>
int main()
{
    int s,v,hour,minute,a,b,c;
    scanf("%d%d",&s,&v);
    minute=60*8;
    if(s%v==0)
    {
        minute=minute-10-s/v;
        hour=minute/60;
        a=hour;
        minute=minute%60;
        b=minute/10;
        c=minute%10;
        printf("0%d:%d%d",a,b,c);
    }
    else
    {
         minute=minute-10-s/v-1;
        hour=minute/60;
        a=hour;
        minute=minute%60;
        b=minute/10;
        c=minute%10;
        printf("0%d:%d%d",a,b,c);
    }
    return 0;
    
    
}