#include <stdio.h>
#define DAY 24
#define LJ 10
#define MINUTES 60
int main() {
int s = 0;
int v = 0;
int time = 0;
int School_arrival_time = 8;
int H = 0;
int M = 0;
int when = 0;
int points = 0;
scanf_s("%d %d", &s, &v);
while (s <= 1 || v >= 10000) {
scanf_s("%d %d", &s, &v);
}
if (s % v != 0) {
time = s / v + 1 + LJ;
}
else {
time = s / v + LJ;
}
when = time / MINUTES;
points = time - (when * MINUTES);
if (when <= 24) {
if (when < 8) {
if (points == 0) {
H = (School_arrival_time - when);
M = MINUTES - points;
printf("0%d:0%d", H, M);
}
else if (points > 0) {
H = (School_arrival_time - when) - 1;
M = MINUTES - points;
if (M > 10) {
printf("0%d:%d", H, M);
}
else {
printf("0%d:0%d", H, M);
}
}
}
else if (when > 8) {
if (points == 0) {
H = (School_arrival_time - when);
M = MINUTES - points;
printf("%d:0%d", H, M);
}
else if (points > 0) {
H = DAY - (when - School_arrival_time) - 1;
M = MINUTES - points;
if (M > 10) {
printf("%d:%d", H, M);
}
else {
printf("%d:0%d", H, M);
}
}
}
}
else {
printf("超过1天");
}
}