Mars Window Solution:

#include <bits/stdc++.h>
using namespace std;

int main(){
    // #ifndef TESTING
    // freopen("input.txt", "r", stdin);
    // freopen("output.txt", "w", stdout);
    // #endif

    double window = 2.1666666666658;
    double year;
    cin >> year;
    double result = fmod(year-2017.33333333333333333333333333333333, window);
    if(result < 1){
        cout << "yes" << endl;
    } else {
        cout << "no" << endl;
    }
    
    
    return 0;   
}