#include <stdio.h>
int main()
{
int s, v, t, h, m, HH = 7, MM = 60;
scanf("%d %d", &s, &v);
if (s % v == 0)
{
t = s / v + 10;
}
else
{
t = s / v + 11;
}
while (t >= 1440)
{
t = t - 1440;
}
h = t / 60;
m = t % 60;
HH = HH - h;
MM = MM - m;
printf("%02d:%d", HH, MM);
return 0;
}