#include<bits/stdc++.h>
using namespace std;
int a[1001]={0},b[1001]={0},n,k,i,g=0;
bool prime(int x){
	 int i;
	 for(i=2;i<x;i++){
	 	if(x%i==0) return 0;
	 }
	 return 1;
 }
int main(){
    cin>>n>>k;
    for(i=2;i<=n;i++){
    	if(prime(i)){
    		a[g]=i;
    		g++;
		}
	}
	for(i=k;i<=g+1;i++){
		for(int j=1;j<=k;j++){
			b[i]+=a[i-j];
		}
		b[i]=b[i]+1;
	}
	for(i=1;i<=n;i++){
		for(int j=k;j<=g+1;j++){
			if(i==b[j]) {
				cout<<"YES";
				return 0;
			}
		}
	}
	cout<<"NO";
	return 0;
}