题目描述

小博对质数很感兴趣，有一次他读到关于歌德巴赫问题的文章。文章中指出，每一个大于2的偶数整数都可以表示为两个质数的和。这引起了小博的注意，他决定自己发明一个问题，并称之为“好质数”问题。由于小博只对质数感兴趣，“好质数”问题指出：

若一个质数$Q$可以用比它小的质数$M$与$M$相邻的质数$N$和再加$1$表示。($Q=M+N+1$)，那么称这个质数为“好质数”。比如$13=5+7+1，19=7+11+1$，这两个数都是满足条件的数。

注意：$5$和$7$是相邻的质数，它们的和加$1$可以表示$13$这个质数，那么$13$就是一个满足条件的好质数。在$14以内$，有且只有一个$13$这个“好质数"。

现在小博给你两个正整数$n,k$，若从$2到n$的好质数个数大于等于$k$，那么输出“YES"，否则输出"NO"。

输入格式

第一行包含两个整数$n$和$k$。

输出格式

如果从$2到n$之间至少有$k$个“好质数”，则输出"YES"，否则输出"NO"。

样例输入1

27 2

样例输出1

YES

样例输入2

45 7

样例输出2

NO

数据范围

对于$100\%$的数据，$2\leq n \leq 1000,0\leq k \leq 1000$