#include <iostream>
using namespace std;

/** Problem0060 : Card Game **/
int main()
{
	int c1, c2, c3, yes, no;
	
	while (cin >> c1 >> c2 >> c3) {
		yes=0; no=0;
		for (int i=0; i<10; i++) {
			if (i+1 != c1 || i+1 != c2 || i+1 != c3) {
				if (c1+c2+i+1 <= 20) {
					yes++;
				} else {
					no++;
				}
			}
		}
		cout << (yes>=no ? "YES" : "NO") << endl;
	}
}