题目描述

小狮子的学校要求早上 $8$ 点前到校。学校到小狮子家一共有 $s$ 米，而小狮子以 $v$ 米每分钟的速度匀速走到学校。此外在上学路上小狮子还要额外花 $10$ 分钟时间进行垃圾分类。请问为了避免迟到，小狮子最晚什么时候出门？由于路途遥远，小狮子可能不得不提前一天出发，不过不会出现提前超过一天的情况。

输入格式

$1$ 行，用一个空格隔开的 $2$ 个整数 $s$ 和 $v$。

输出格式

小狮子出发的时间，格式为 HH:MM，小时和分钟数不足两位时最高位补 $0$。

输入输出样例

100 99

07:48

说明/提示

👀️ 对于Python语言，本题输入可以参考下面程序中的语句：

s,v = map(int,input().split())
print(s,v)

👀️ Python语言可以使用 math 模块中的 ceil 函数来实现 向上取整，例如 math.ceil(n) 计算的是不小于 $n$ 的最小整数（这也是向上取整的涵义）。math 模块中的 floor 函数可以用来实现向下取整，例如 math.floor(n) 计算的是不大于 $n$ 的最大整数（这也是向下取整的涵义）。 math.ceil() 和 math.floor() 函数的使用方法可以参考下面的程序：

import math
x = int(input())
print(math.ceil(x/10))
print(math.floor(x/10))

👀️ 对于Python语言，输出整数时要求至少占 $2$ 位（不足两位高位补 $0$），可以参考下面的程序：

print("{:02d}".format(7))

👀️ 对于C++语言，输出整数时要求至少占 $2$ 位（不足两位高位补 $0$），可以参考下面的程序：

#include<cstdio>
int main()
{
    printf("%02d",2);
    return 0;
} 

👀️ 对于$100\%$的数据，$0 < s,v \leq 1000$。