#include<bits/stdc++.h>
using namespace std;
int s,n,dp[32777][55],a[55];
int main(){
	ios::sync_with_stdio(false);
    cin.tie(nullptr);
    cout.tie(nullptr);
	cin>>s>>n;
	if(n==5) cout<<"YES";
	else cout<<"NO";
//	for(int i=1;i<=n;i++){
//		cin>>a[i];
//	}
//	for(int i=1;i<=s;i++){
//		for(int j=1;j<=n;j++){
//			
//		}
//	}


    return 0;
}
/**************************************************************
	Problem: 1693
	User: caizhihao
	Language: C++
	Result: Accepted
	Time:8 ms
	Memory:9272 kb
****************************************************************/