2167: 所以爱会消失，对吗？
[Creator : ]
Description
小$z$喜欢上了一位女神，女神拥有心动值，当心动值不小于 $k$ 时，可以抱得美人归。现在小$z$可以进行三个操作：聊天、送礼物、邀请看电影（假设这三个操作一定可以成功进行），加的心动值分别为1、3、5.但是小$z$比较穷，每个操作最多进行一次，而且只能进行 $n$ 次操作。现在小$z$需要你来帮他判断当进行 $n$ 次操作后能否抱得美人归。如果不可以输出N0、否则输出Yes。
Input
第一行两个数字$n,k$，含义如题所示。
数据范围：$1\le n,k\le 100$；
数据范围：$1\le n,k\le 100$；
Output
成功则输出Yes,失败则输出N0。
Sample Input Copy
3 5
Sample Output Copy
Yes