题目描述

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

特别鸣谢“烤鸡翅”提供了一组hack数据

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

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

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

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

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

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

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

快来帮帮他吧！

输入格式

输入包含两行，第一行输入表示现在的日期和时间，格式为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，代表TooY0ung可以吃饭的最早时间。

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 分）：保证年份是$2024$年。
• 子任务 2（30 分）：保证营业时间段不存在跨天。
• 子任务 3（40 分）：没有特殊限制。