AT_past202203_e 良い日付

[problemUrl]: https://atcoder.jp/contests/past202203-open/tasks/past202203_e YYYY/MM/DD 形式とは日付の表記方法の 1 つで、$ 0 $ 埋めした $ 4 $ 桁の西暦年、$ 0 $ 埋めした $ 2 $ 桁の月、 $ 0 $ 埋めした $ 2 $ 桁の日をスラッシュで区切って並べたものを言います。たとえば $ 2022 $ 年 $ 1 $ 月 $ 1 $ 日は `2022/01/01` と表されます。 日付を YYYY/MM/DD 形式で表したときに表れる数字が $ 2 $ 種類以下であるとき、**良い** 日付と呼びます。 日付 $ S $ が YYYY/MM/DD 形式で与えられます。$ S $ 以降の日で **はじめて** 現れる良い日付を YYYY/MM/DD 形式で出力してください。 ただし、暦はグレゴリオ暦 (現行の日本をはじめ世界各国で使用されている暦) を使用するものとします。

入力は以下の形式で標準入力から与えられる。 > $ S $

答えを YYYY/MM/DD 形式で出力せよ。

### 制約 - $ S $ はグレゴリオ暦に現れる日付である。 - $ S $ は YYYY/MM/DD 形式で与えられる。 - $ S $ は $ 2001 $ 年 $ 1 $ 月 $ 1 $ 日以降 $ 2999 $ 年 $ 12 $ 月 $ 31 $ 日以前である。 ### Sample Explanation 1 $ S\ = $ $ 2022 $ 年 $ 1 $ 月 $ 1 $ 日以降では $ 2022 $ 年 $ 2 $ 月 $ 2 $ 日がはじめて条件を満たす日です。 たとえば $ 2222 $ 年 $ 2 $ 月 $ 22 $ 日なども $ S $ 以降という条件は満たしていますが、 $ 2022 $ 年 $ 2 $ 月 $ 2 $ 日より遅い日付なので「\*\*はじめて\*\* 現れる」という条件を満たしません。