A29902.点球大战

2022的卡达尔世界杯，或许就是梅西和C罗的最后一届了，小码肯定是不会错过的。

我们知道，足球比赛中，最紧张刺激的莫过于点球大战：在淘汰赛中，踢出平局时，将进行点球大战，点球大战的规则如下：

（1）第一阶段，最多会进行5轮罚球，每一轮两只队伍轮流罚球。踢进一个球，得1分。但如果在某轮罚球后，胜负已经分晓（某队即便在剩下轮全胜，还是输。比如前4轮的比分为1:4，则比赛立即结束，因为不可能翻盘），那么点球大战立即结束。（PS：正常点球会罚完5轮，这里稍微改动了一下）
（2）第一阶段结束后，如果两队的分数

输入两个整数a, b， 表示两队都完成点球后的比分。

如果是有可能的比分，输出 Yes；如果比分根本不可能是最终得分，就输出No。

样例2：

【输入样例2】
1 5
【输出样例2】
No

在第一阶段的罚球过程中，比分在1比4的时候，胜负就已分晓，结束点球，根本不会进行第6轮罚球，所以分数不可能达到1比5。 






【数据范围】

对于100%的数据，0 ≤ a , b ≤ 10^8