#include <bits/stdc++.h>
using namespace std;
int num[5];
int main() {
	int k;
	for (int i = 1; i <= 3; i++) {
		cin >> k;
		if (k >= 1 && k <= 4) {
			num[k]++;
		}
	}
	if (num[1]) {
		cout << "YES" << endl;
		return 0;
	}
	if (num[2] >= 2) {
		cout << "YES" << endl;
		return 0;
	}
	if (num[3] == 3) {
		cout << "YES" << endl;
		return 0;
	}
	if (num[2] == 1 && num[4] == 2) {
		cout << "YES" << endl;
		return 0;
	}
	cout << "NO" << endl;
	return 0;
}