P5705

#include <iostream>
using namespace std;

// 格式化输出两位数的函数
void printTwoDigits(int num) {
    if (num < 10) {
        cout << 0;
    }
    cout << num;
}

int main() {
    int s, v;
    cin >> s >> v;

    int totalTime = s / v + 10;
    int hour = 7 - totalTime / 60;
    int minute = 60 - totalTime % 60;
    if (minute == 60) {
        minute = 0;
        hour++;
    }

    // 使用函数输出格式化后的时间
    printTwoDigits(hour);
    cout << ':';
    printTwoDigits(minute-1);
    cout << endl;

    return 0;
}