#include<iostream>
using namespace std;
int main() {
int s = 0, v = 0;
int t;
cin >> s >> v;
int deta;
deta = s / v;
if (deta * v == s) {
t = deta + 10;
}
else {
t = deta + 1 + 10;
}
int HH = 0, MM;
MM = 60 - t % 60;
if (t <= 8 * 60 && MM <= 50) {
HH = 8 - (t + 60) / 60;
printf("0%d:%d\n", HH, MM);
}
else if (t <= 8 * 60 && MM > 50 && MM < 60) {
HH = 8 - (t + 60) / 60;
printf("0%d:0%d\n", HH, MM);
}
else if (t <= 8 * 60 && MM == 60) {
HH = 8 - (t + 60) / 60;
printf("0%d:00\n", HH);
}
else if (t > 8 * 60 && t <= 8 * 60 + 14 * 60&&MM<= 50) {
HH = 24 - ((t + 60) / 60 - 8);
printf("%d:%d\n", HH, MM);
}
else if (t > 8 * 60 && t <= 8 * 60 + 14 * 60 && MM > 50 && MM < 60) {
HH = 24 - ((t + 60) / 60 - 8);
printf("%d:0%d\n", HH, MM);
}
else if (t > 8 * 60 && t <= 8 * 60 + 14 * 60 && MM == 60) {
HH = 24 - ((t + 60) / 60 - 8);
printf("%d:00%d\n", HH);
}
else if (t > 22 * 60 && MM <= 50) {
HH = 24 - ((t + 60) / 60 - 8);
printf("0%d:%d\n", HH, MM);
}
else if (t > 22 * 60 && MM > 50&& MM < 60) {
HH = 24 - ((t + 60) / 60 - 8);
printf("0%d:0%d\n", HH, MM);
}
else if (t > 22 * 60 && MM == 60) {
HH = 24 - ((t + 60) / 60 - 8);
printf("0%d:00\n", HH);
}
return 0;
}