#include<stdio.h>

int main() {
	int s,v;
	scanf("%d%d", &s, &v);
	int um = s / v;
	if (s % v) um += 11;
	else um += 10;
	int h = 7 - um / 60;
	int min = 60 - um % 60;
	if (min == 60) {
		h++;
		min = 0;
	}
	if (h < 0) h += 24;
	if (h > 10 && min > 10) printf("%d:%d", h, min);
	if (h > 10 && min < 10) printf("%d:0%d", h, min);
	if (h < 10 && min > 10) printf("0%d:%d", h, min);
	if (h < 10 && min < 10) printf("0%d:0%d", h, min);
	return 0;
}