Problem A: 小矮人能满意吗

Problem A: 小矮人能满意吗

[Creator : ]
Time Limit : 1.000 sec  Memory Limit : 128 MiB

Description

白雪公主采了 A 颗草莓,送给小动物们 B 颗,剩下的平均分给7个小矮人,每个小矮人如果分到3颗以上 就会很满意 输出 Yes 否则输出 No

Sample Input Copy

58 30

Sample Output Copy

Yes