#include<iostream>
using namespace std;
int main()
	{
		int a = 0, b = 0, c = 0;
		bool henA = false, henB = false, henC = false, y = false;
		while (cin >>a>>b>>c)
		{
			
				if (a % 3 == 0 && !henA){ henA = true; }
				if (a % 4 == 0 && !henB){ henB = true; }
				if (a % 5 == 0 && !henC){ henC = true; }
				if (b % 3 == 0 && !henA){ henA = true; }
				if (b % 4 == 0 && !henB){ henB = true; }
				if (b % 5 == 0 && !henC){ henC = true; }
				if (c % 3 == 0 && !henA){ henA = true; }
				if (c % 4 == 0 && !henB){ henB = true; }
				if (c % 5 == 0 && !henC){ henC = true; }

				if (henA && henB && henC && !y){
					cout << "YES" << endl;
					y = true;
				}
				else{
					henA = henB = henC = false;
					if (c % 3 == 0 && !henA){ henA = true; }
					if (c % 4 == 0 && !henB){ henB = true; }
					if (c % 5 == 0 && !henC){ henC = true; }
					if (a % 3 == 0 && !henA){ henA = true; }
					if (a % 4 == 0 && !henB){ henB = true; }
					if (a % 5 == 0 && !henC){ henC = true; }
					if (b % 3 == 0 && !henA){ henA = true; }
					if (b % 4 == 0 && !henB){ henB = true; }
					if (b % 5 == 0 && !henC){ henC = true; }
				}
				if (henA && henB && henC && !y){
					cout << "YES" << endl;
					y = true;
				}
				else{
					henA = henB = henC = false;
					if (b % 3 == 0 && !henA){ henA = true; }
					if (b % 4 == 0 && !henB){ henB = true; }
					if (b % 5 == 0 && !henC){ henC = true; }
					if (c % 3 == 0 && !henA){ henA = true; }
					if (c % 4 == 0 && !henB){ henB = true; }
					if (c % 5 == 0 && !henC){ henC = true; }
					if (a % 3 == 0 && !henA){ henA = true; }
					if (a % 4 == 0 && !henB){ henB = true; }
					if (a % 5 == 0 && !henC){ henC = true; }
				}
				if (henA && henB && henC && !y){
					cout << "YES" << endl;
					y = true;
				}
				else{
					henA = henB = henC = false;
					if (c % 3 == 0 && !henA){ henA = true; }
					if (c % 4 == 0 && !henB){ henB = true; }
					if (c % 5 == 0 && !henC){ henC = true; }
					if (b % 3 == 0 && !henA){ henA = true; }
					if (b % 4 == 0 && !henB){ henB = true; }
					if (b % 5 == 0 && !henC){ henC = true; }
					if (a % 3 == 0 && !henA){ henA = true; }
					if (a % 4 == 0 && !henB){ henB = true; }
					if (a % 5 == 0 && !henC){ henC = true; }

				}
				if (henA && henB && henC && !y){
					cout << "YES" << endl;
					y = true;
				}
				else{
					henA = henB = henC = false;
					if (a % 3 == 0 && !henA){ henA = true; }
					if (a % 4 == 0 && !henB){ henB = true; }
					if (a % 5 == 0 && !henC){ henC = true; }
					if (c % 3 == 0 && !henA){ henA = true; }
					if (c % 4 == 0 && !henB){ henB = true; }
					if (c % 5 == 0 && !henC){ henC = true; }
					if (b % 3 == 0 && !henA){ henA = true; }
					if (b % 4 == 0 && !henB){ henB = true; }
					if (b % 5 == 0 && !henC){ henC = true; }


				}
				if (henA && henB && henC && !y){
					cout << "YES" << endl;
					y = true;
				}
				else{
					henA = henB = henC = false;
					if (b % 3 == 0 && !henA){ henA = true; }
					if (b % 4 == 0 && !henB){ henB = true; }
					if (b % 5 == 0 && !henC){ henC = true; }
					if (a % 3 == 0 && !henA){ henA = true; }
					if (a % 4 == 0 && !henB){ henB = true; }
					if (a % 5 == 0 && !henC){ henC = true; }
					if (c % 3 == 0 && !henA){ henA = true; }
					if (c % 4 == 0 && !henB){ henB = true; }
					if (c % 5 == 0 && !henC){ henC = true; }

				}
				if (henA && henB && henC && !y){
					cout << "YES" << endl;
					y = true;
				}
				else if (!(henA && henB && henC )&& !y){
					henA = henB = henC = false;
					cout << "NO" << endl;

				}
		}
		return 0;
}