import java.util.ArrayList;
import java.util.List;
import java.util.Scanner;
class A_NoldbachProblem {
Scanner scan
= new Scanner
(System.
in); int n = scan.nextInt();
int k = scan.nextInt()-1;
PrimeGen p = new PrimeGen(n);
List<Integer> prims = new ArrayList<Integer>();
for(int i = 2; i <= n; i++){
if(p.isPrime(i)>0){
prims.add(i);
}
}
int sum = 0;
for(int i = 0; i < prims.size() - 1; i++){
int c = prims.get(i) + prims.get(i+1) + 1;
if(c <= n && p.isPrime(c)>0){
sum ++;
}
}
System.
out.
println(sum
>=k
?"YES":"NO"); }
static int sum(List<Integer> is) {
int c = 0;
for (int i : is)
c += i;
return c;
}
static class PrimeGen {
public PrimeGen(int m) {
double max = 0;
int r = 1;
for (int i = 0; i < 4;) {
max
+= r
* m
/ Math.
pow(Math.
log1p(m
),
++i
); r *= i;
}
p = new int[(int) max];
for (int i = 0, e = 2; i < p.length; i++) {
for (; isPrime(e) < 1; e++)
;
p[i] = e++;
}
this.m = p[p.length - 1];
this.m = this.m * this.m;
}
int isPrime(int n) {
for (int e : p)
if (e < 1)
break;
else if (n != e && n % e < 1)
return 0;
return 1;
}
int max() {
return m;
}
int[] p;
int m;
}
}
aW1wb3J0IGphdmEudXRpbC5BcnJheUxpc3Q7CmltcG9ydCBqYXZhLnV0aWwuTGlzdDsKaW1wb3J0IGphdmEudXRpbC5TY2FubmVyOwoKY2xhc3MgQV9Ob2xkYmFjaFByb2JsZW0gewoJcHVibGljIHN0YXRpYyB2b2lkIG1haW4oU3RyaW5nW10gYXJncykgdGhyb3dzIEV4Y2VwdGlvbiB7CgkJU2Nhbm5lciBzY2FuID0gbmV3IFNjYW5uZXIoU3lzdGVtLmluKTsKCQlpbnQgbiA9IHNjYW4ubmV4dEludCgpOwoJCWludCBrID0gc2Nhbi5uZXh0SW50KCktMTsKCQlQcmltZUdlbiBwID0gbmV3IFByaW1lR2VuKG4pOwoJCUxpc3Q8SW50ZWdlcj4gcHJpbXMgPSBuZXcgQXJyYXlMaXN0PEludGVnZXI+KCk7CgkJZm9yKGludCBpID0gMjsgaSA8PSBuOyBpKyspewoJCQlpZihwLmlzUHJpbWUoaSk+MCl7CgkJCQlwcmltcy5hZGQoaSk7CgkJCX0KCQl9CgkJaW50IHN1bSA9IDA7CgkJZm9yKGludCBpID0gMDsgaSA8IHByaW1zLnNpemUoKSAtIDE7IGkrKyl7CgkJCWludCBjID0gcHJpbXMuZ2V0KGkpICsgcHJpbXMuZ2V0KGkrMSkgKyAxOwoJCQlpZihjIDw9IG4gJiYgcC5pc1ByaW1lKGMpPjApewoJCQkJc3VtICsrOwoJCQl9CgkJfQoJCVN5c3RlbS5vdXQucHJpbnRsbihzdW0+PWs/IllFUyI6Ik5PIik7Cgl9CgoJc3RhdGljIGludCBzdW0oTGlzdDxJbnRlZ2VyPiBpcykgewoJCWludCBjID0gMDsKCQlmb3IgKGludCBpIDogaXMpCgkJCWMgKz0gaTsKCQlyZXR1cm4gYzsKCX0KCQoJc3RhdGljIGNsYXNzIFByaW1lR2VuIHsKCQlwdWJsaWMgUHJpbWVHZW4oaW50IG0pIHsKCQkJbSA9IChpbnQpIE1hdGguc3FydChtKTsKCQkJZG91YmxlIG1heCA9IDA7CgkJCWludCByID0gMTsKCQkJZm9yIChpbnQgaSA9IDA7IGkgPCA0OykgewoJCQkJbWF4ICs9IHIgKiBtIC8gTWF0aC5wb3coTWF0aC5sb2cxcChtKSwgKytpKTsKCQkJCXIgKj0gaTsKCQkJfQoJCQlwID0gbmV3IGludFsoaW50KSBtYXhdOwoJCQlmb3IgKGludCBpID0gMCwgZSA9IDI7IGkgPCBwLmxlbmd0aDsgaSsrKSB7CgkJCQlmb3IgKDsgaXNQcmltZShlKSA8IDE7IGUrKykKCQkJCQk7CgkJCQlwW2ldID0gZSsrOwoJCQl9CgkJCXRoaXMubSA9IHBbcC5sZW5ndGggLSAxXTsKCQkJdGhpcy5tID0gdGhpcy5tICogdGhpcy5tOwoJCX0KCgkJaW50IGlzUHJpbWUoaW50IG4pIHsKCQkJZm9yIChpbnQgZSA6IHApCgkJCQlpZiAoZSA8IDEpCgkJCQkJYnJlYWs7CgkJCQllbHNlIGlmIChuICE9IGUgJiYgbiAlIGUgPCAxKQoJCQkJCXJldHVybiAwOwoJCQlyZXR1cm4gMTsKCQl9CgoJCWludCBtYXgoKSB7CgkJCXJldHVybiBtOwoJCX0KCgkJaW50W10gcDsKCQlpbnQgbTsKCX0KfQo=