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