#include<stdio.h>
int main()
{
	int s;
	int v;
	scanf("%d %d",&s,&v);
	int t;
	if(s%v==0){
		t=s/v;
		t+=10;
	}
	else{
		t=s/v;
		t+=11;
	}
	int h;
	int m;
	
	h=(8*60-t)/60;
	m=(8*60-t)%60;
	printf("%02d:%02d",h,m);
	
	return 0; 

	
	
			
		
	 
 }