#include<stdio.h>
int main()
{
    int s,v,tim,a,b,tim1,tim2;
    scanf("%d %d",&s,&v);
    tim=s/v;
    tim1=tim%60;
    tim2=tim/60;
    if(tim2<8)
    {
        a=8-tim2;
        if(tim1>0)
        {
            b=60-tim1-11;
            a=a-1;
            if(b>=10)
            {
                printf("0%d:%d",a,b);
            }
            else
            {
                printf("0%d:0%d",a,b);
            }
        }
        else if(tim1=0)
        {
            b=0;
            printf("0%d:00",a);
        }
        
    }
    else if(tim2>=8&&tim2<=24)
    {
        a=24-tim2+8;
        if(tim1>0)
        {
            b=60-tim1-11;
            a=a-1;
            if(b>=10)
            {
                printf("%d:%d",a,b);
            }
            else
            {
                printf("%d:0%d",a,b);
            }
        }
        else if(tim1=0)
        {
            b=0;
            printf("%d:0%d",a,b);
        }
    }
    else
    {
       printf("08:00");
    }
    return 0;
}