#include <bits/stdc++.h>
using namespace std;
int n, k, ans,
    a[45] = {0,   13,  19,  31,  37,  43,  53,  61,  79,  101, 113, 139,
             163, 173, 199, 211, 223, 241, 269, 277, 331, 353, 373, 397,
             457, 463, 509, 521, 541, 577, 601, 619, 631, 727, 773, 787,
             811, 829, 853, 883, 907, 919, 947, 967, 991};
int main() {
  cin >> n >> k;
  for (int i = 1; i <= 44; i++) {
    if (a[i] <= n)
      ans++;
    else
      break;
  }
  if (ans >= k)
    cout << "YES";
  else
    cout << "NO";
  return 0;
}
