AT_abc452_a [ABC452A] Gothec

The following five days are called the five seasonal festivals (gosekku). - January $ \color{red}{\mathbf{7}} $ - March $ 3 $ - May $ 5 $ - July $ 7 $ - September $ 9 $ If month $ M $ , day $ D $ is one of the five seasonal festivals, output `Yes`; otherwise, output `No`.

The input is given from Standard Input in the following format: > $ M $ $ D $

If month $ M $ , day $ D $ is one of the five seasonal festivals, output `Yes`; otherwise, output `No`.

### Sample Explanation 1 March $ 3 $ is one of the five seasonal festivals, so output `Yes`. ### Sample Explanation 2 January $ 1 $ is not one of the five seasonal festivals, so output `No`. ### Constraints - $ M $ and $ D $ are integers. - Month $ M $ , day $ D $ is a valid date in a leap year in the Gregorian calendar.