#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: case 2: case 4: case 6: case 7: cout<<"YES"; return 0; }