#include <stdio.h>

int main(){
	int s,v,mm,hh;
	scanf("%d%d", &s, &v);
	mm = s / v +10;
	if(s%v!=0)
		mm++;
	if(mm>=24*60)
		mm-=24*60;
	//printf("%d\n", mm);
	for(hh=7;mm>=0;hh--){
		mm-=60;
		//printf("%d\t%d\n", mm, hh);
	}
	for(;hh<=0;hh+=24){
	}
	mm*=-1;
	hh++;
	printf("%d%d:%d%d", hh/10, hh%10, mm/10, mm%10);
	return 0;
}