Problem Description

In the AtCoder Kingdom, the residents are required to shout their love for takoyaki at time $ A $.

Takahashi, who lives in the AtCoder Kingdom, goes to sleep at time $ B $ and wakes up at time $ C $ every day. Takahashi can shout his love for takoyaki if he is awake, but he cannot if he is asleep. Determine if Takahashi can shout his love for takoyaki every day. Note that a day has 24 hours, and the time Takahashi spends sleeping is less than 24 hours.

Input Format

The input is given from the standard input in the following format:

$ A $ $ B $ $ C $

Output Format

If Takahashi can shout his love for takoyaki every day, output Yes. Otherwise, output No.

Sample Input and Output

Sample Input #1

21 8 14

Sample Output #1

Yes

Sample Input #2

0 21 7

Sample Output #2

No

Sample Input #3

10 7 17

Sample Output #3

No

Notes/Hints

Constraints

• $0\leq\ A,B,C\lt\ 24$
• $ A,B,C $ are distinct
• All inputs are integers

Sample Explanation 1

Takahashi goes to sleep at 8 AM and wakes up at 2 PM every day. At 9 PM, he is awake, so he can shout his love for takoyaki every day. Therefore, output Yes.

Sample Explanation 2

Takahashi goes to sleep at 9 PM and wakes up at 7 AM every day. At 12 AM, he is asleep, so he cannot shout his love for takoyaki every day. Therefore, output No.

见题面 Input 部分

见题面 Output 部分