输入描述:

六个正整数，用空格隔开。分别代表每道题的难度。

输出描述:

如果是智乃style，则输出"Yes"。否则输出"No"。