题目描述

TDOG 学院要求每周一早上不超过 $8$ 点到达学校。

学校到小 T 的家一共有 $s$ 米，而小 T 可以以 $v$ 米每分钟的速度匀速到学校。

此外在上学路上它还要额外花 $10$ 分钟时间进行垃圾分类。

请问为了避免迟到小 T 最晚什么时候出门？

输出 HH:MM 的时间格式，不足两位时补零。由于路途遥远，小 T 可能不得不在周日出发。

输入格式

一行用空格隔开的两个正整数 $s$ 和 $v$。

输出格式

一行 HH:MM 表示最晚离开家的时间（时:分 必须输出两位，不足两位前面补 $0$，中间为英文冒号）。

样例

100 100

07:49

数据范围

对于 $30\%$ 的数据，$s/v <480$；

对于 $50\%$ 的数据，$s$ 是 $v$ 的倍数；

对于另外 $20\%$ 的数据，$s<v$；

对于 $100\%$ 的数据，$0<s,v \le 10000$。