#include <stdio.h>

int main() {
	int s, v;
	scanf("%d%d", &s, &v);
	if (s < v)
		printf("07:49");
	else if (s / v < 480) {
		if (s / v % 60 == 0)
			printf("%02d:50", 7 - (s / v / 60));
		else if (s % v == 0)
			printf("%02d:%02d", 7 - (s / v / 60), 60 - s / v % 60 - 10 );
		else
			printf("%02d:%02d", 7 - (s / v / 60), 60 - s / v % 60 - 10 - 1);
	} else {
		if (s / v % 60 == 0)
			printf("%02d:50", 31 - (s / v / 60));
		else if (s % v == 0)
			printf("%02d:%02d", 31 - (s / v / 60), 60 - s / v % 60 - 10);
		else
			printf("%02d:%02d", 31 - (s / v / 60), 60 - s / v % 60 - 10 - 1);

	}
	return 0;

}