小博对质数很感兴趣，有一次他读到关于歌德巴赫问题的文章。文章中指出，每一个大于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"。

样例 输入27 2 输出YES

输入45 7 输出NO