問題

Sakky さんが通う学校では，国数英社理の $5$ 教科の評定が，以下の $3$ つの条件のうち $2$ つ以上を満たす生徒に対し，表彰を行う慣習があります．

• 平均評定が $3.6$ 以上である．
• 評定が $5$ である科目が $2$ つ以上存在する．
• 評定が $1$ である科目が存在しない．

Sakky さんの $5$ 教科の評定 $A,B,C,D,E$ が与えられるので，Sakky さんが表彰対象になるか判定してください．

制約

• $A,B,C,D,E$ は $1$ 以上 $5$ 以下の整数

入力

入力は以下の形式で標準入力から与えられる．

$A\;B\;C\;D\;E$

出力

Sakky さんが表彰対象になるならば Yes，そうでなければ No と出力しなさい．

入出力例

4 5 3 4 3

Yes

平均評定は $3.8$ なので，第 $1$ の条件を満たします．また，第 $2$ の条件は満たしませんが，第 $3$ の条件は満たします．
よって，$3$ つの条件のうち $2$ つを満たすため，Sakky さんは表彰対象になります．

1 2 3 4 5

No

いずれの条件も満たさないため，Sakky さんは表彰対象になりません．

5 5 5 5 5

Yes

Sakky さんはかなりの優等生であるようです．