#include<iostream>

using namespace std;

int main(void){
	while( 1 ){
		int cnt = 0;
		int cards[11] = {0,};
		int c1, c2, c3;

		cin >> c1 >> c2 >> c3;
		if( cin.eof() ) break;

		cards[c1] = 1;
		cards[c2] = 1;
		cards[c3] = 1;

		for(int i = 1; i < 11; i++){
			if( cards[i] == 0 ){
				if( c1 + c2 + i <= 20 ) cnt++;
			}
		}

		if( cnt >= 4 ) cout << "YES" << endl;
		else cout << "NO" << endl;
	}
	return 0;
}