Evaluating Daily Performance

A person attempts three programming tasks in a day. Each task is scored between \(0\) and \(100\). The scores are classified as follows:

• Close to Passing: \(85 \leq score \leq 100\)
• High-score Force: \(45 \leq score \leq 84\)
• Low-score Force: \(25 \leq score \leq 44\)
• Exponential Force: \(1 \leq score \leq 24\)
• Exploded Score: \(score = 0\)

The performance is considered to be at the person’s true level if the scores satisfy one of the following conditions:

1. One task is scored as High-score Force, one as Low-score Force, and one as Exponential Force.
2. One task is scored as Close to Passing, one as High-score Force, and one as Low-score Force.
3. Two tasks are scored as Close to Passing and the remaining one is either High-score Force or Low-score Force.
4. All three tasks are scored as Close to Passing.

Given three integers \(a, b, c\) representing the scores for the three tasks, determine whether the person performed at their true level. Print Yes if any of the conditions are met, otherwise print No.

inputFormat

The input consists of one line containing three space-separated integers \(a\), \(b\), and \(c\) \((0 \leq a, b, c \leq 100)\).

outputFormat

Output a single line containing Yes if the scores represent the true level performance according to the conditions above, otherwise output No.

sample

85 45 25

Yes