#include<stdio.h>
int main()
{
    int s,v,t,to;
    scanf("%d%d",&s,&v);
    t=s/v+10;
    if (t < 0 || t >= 1440)
        return 1;
    if (10<t<480)
        printf("0%d:%d\n",8-t/60,60-t%60);
    else
        printf("%d:%d\n",32-t/60,60-t%60);
    
    return 0;
}