题目描述

大声的告诉我，Csvoner 是不是良心出题人

特别鸣谢 “BlueCat” 检查出上周周赛 T3 的数据问题。

Csvoner 在某一次去吃放纵餐时遇到了问题：

Csvoner 是 15:34 抵达的饭店，但是被工作人员告知晚餐要在 17:00 才开始供应。

没办法，Csvoner 只好先去隔壁的商场闲逛一下，等待饭店开始营业。

同样的问题在这不久之后又再次出现：

Csvoner 在某天晚上 23:04 抵达了他期待了很久的厦门姜母鸭饭店，但是却被工作人员告知晚餐的供应时间是 17:00 ~ 23:00。所以想吃姜母鸭请明天再来。

这让 Csvoner 很是头疼，只好在饭店的附近找了个酒店住下，计划在第二天的 17:00 再来品尝美味。

Csvoner 发现这种问题比较常见，于是打算用编程实现一下这类问题的求解：给出现在的时间，以及饭店的营业时间段，用程序计算出最早什么时候可以去吃饭。

快来帮帮他吧！

输入格式

输入包含两行，第一行输入表示现在的日期和时间，格式为 year-month-day hours:minutes:seconds，其中 year 表示一个四位数的年份，month 表示月份，两位数，day 表示天数，两位数，表示该月的第几天，hours 表示小时，24 小时制，两位数，minutes 表示分钟，两位数，seconds 表示秒，还是两位数。不足两位用 0 补足两位。（可以参见样例）

第二行输入两个时间，表示饭店的营业时间段，格式为：hours:minutes:seconds。

输入数据保证时间是合法的，开始营业时间和停止营业时间不相同。

时间段补充解释：

1.时间段是一个左闭右开的区间，比如有一个时间段为 8:00~9:00，营业时间为包含 8:00 但是不包含 9:00 的时间，也就是可以进入饭店吃饭的时间其实是 8:00 到 8:59，很合理其实，一般来说饭店在关门时刻再去饭店也不接待了。

2.时间范围可以跨天，比如 17:00~07:00，代表晚上 5 点，到第二天早上 7 点，海底捞其实就是可以跨天的。

输出格式

输出一行日期和时间，格式为 year-month-day hours:minutes:seconds，代表 Csvoner 可以吃饭的最早时间。

2024-03-29 23:04:10
17:00:00 23:00:00

2024-03-30 17:00:00

2024-03-03 23:04:10
17:00:00 07:00:00

2024-03-03 23:04:10

数据规模与约定

对于 $100\%$ 的数据，$1970 \le 年份 \le 3000$。

• 子任务 1（30 分）：保证年份是 $2025$ 年。
• 子任务 2（30 分）：保证营业时间段不存在跨天。
• 子任务 3（40 分）：没有特殊限制。