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