#include <stdio.h>

int main()
{
	int i,s,v,h,m,t;
	scanf("%d %d",&s,&v);
	t=s/v;
	if(t*v<s){
		t+=1;
	}
	t+=10;
	m=t%60;
	h=t/60;
	if(m==0){
		printf("0%d:00",8-h);
	} else if(m>50){
		printf("0%d:0%d",7-h,60-m);
		}else {
			printf("0%d:%d",7-h,60-m);
		}
		
		return 0;
 }