#include<bits/stdc++.h>
using namespace std;
int main(){
    int s,v;
    scanf("%d%d",&s,&v);
    int t_walk=ceil(1.0*s/v)+10;
    int f_z=60*(24+8)-t_walk;
    int hh=(f_z/60)%24;
    int mm=f_z%60;
    printf("%02d:%02d\n"，hh,mm);
    return 0;
}