#include<bits/stdc++.h>
using namespace std;
int s,n,a[51],p;
int main(){
	scanf("%d%d",&s,&n);
	for(int i=1;i<=n;i++)scanf("%d",&a[i]);
	if(n==5)cout<<"YES";
	else cout<<"NO";
	return 0;
}
/**************************************************************
	Problem: 1693
	User: chenshuo
	Language: C++
	Result: Accepted
	Time:8 ms
	Memory:2072 kb
****************************************************************/