#include <iostream>
#include <cstdio>
using namespace std;
int main(){
    int s, v, t = 0;
    cin >> s >> v; 
    t = s / v + 1;
    t += 10;
    printf("%02d:%02d", (480 - t)/60, (480-t) % 60);
    return 0;
}