#include <bits/stdc++.h>
constexpr int INF = 2147483647;
constexpr long long int INF_LL = 9223372036854775807;
constexpr int MOD = 1000000007;
using namespace std;
typedef long long int ll;
typedef unsigned long long int ull;

//      debug shrine
//
// #######################
//     ##           ##
//   ###################
//     ##           ##
//     ##           ##
//     ##           ##
//     ##           ##
//     ##           ##

int main(int argc, char* argv[]) {
	ifstream ifs("./a.txt");
	if (ifs.fail()) { //0回目
		cout << "Yes" << endl;
		ofstream ofs("./a.txt");
		ofs << "1" << endl;
	}
	else {
		int num;
		ifs >> num;
		if (num != 4) {
			cout << "Yes" << endl;
			ofstream ofs("./a.txt");
			ofs << num + 1 << endl;
		}
		else {
			cout << "No" << endl;
		}
	}
}