#include<bits/stdc++.h> using namespace std; int main(){ int y,m; cin>>y>>m; switch (a){ case 1: case 3: case 5: cout<<"NO"; break; cout<<"YES"; return 0; }