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