#include <stdio.h>
int main()
{
    int s,v;
    scanf("%d %d",&s,&v);
    int min = (double)s/v+10;
    int a = 8 * 60 - min;
    printf("%2d:%2d",a/60,a%60);
    return 0;
}