#3,5求助

#include<bits/stdc++.h>

using namespace std;

int main()

{

    int s=0;
     int v=0;
    scanf("%d %d",&s,&v);
    float t1=s*1.0/v;
    int t2=0;
    if (t1-s/v!=0)
   {
       t2=(int)t1+1;
     }
     else 
   {
        t2=(int)t1;
     }
     int t=t2+10;
     int H=8,MM=0;
     if(t<=480)
    {
        if(t%60==0){
            printf("0%d:00",H-t/60);
        }
        else 
        {
            printf("0%d:%d",H-t/60-1,MM=60-t%60);
        }
    }
       else{
            int t3=t-480;
            if(t3%60==0){
                 printf("%02d:00",24-t3/60);
            }
            else {
                printf("%02d:%02d",24-t3/60-1,60-t3%60);
            }

      return 0;

 }