i,n,k,d[200001],*p=d;main(){scanf("%d%d",&n,&k);while(i<=n)*p=70000*(i!=1),i%2==0&&(*p=*p>d[i/2]+1?d[i/2]+1:*p),3<i&&(*p=*p>d[i-3]+1?d[i-3]+1:*p),++p,++i;puts(d[n]<=k?"YES":"NO");}