#include <stdio.h>
int main() {
    int s,v;
    scanf("%d%d",&s,&v);
        double  fen=s/v;
    if(fen>50){
        int i=0;
        for(i=1;i<24;i++){
        fen=fen-60;
        if(fen<50)break;
        }
        int a = 49 - (int)fen;
        printf("0%d:%d",7-i,a);
    }
    else {
        int a = 49- (int)fen;
        printf("07:%d",a);
    }
	return 0;
}