#include<iostream>
using namespace std;

int main(){
	int c1, c2, c3;
	while(cin >> c1 >> c2 >> c3){
	    bool card[11];
        fill(card, card+11, false);
        card[c1] = true; card[c2] = true; card[c3] = true;

        int count = 0;
        for(int i=1; i <= 20-(c1+c2+c3); i++){
            if(!card[i]) count++;
        }
        if(10 <= count) cout << "YES" << endl;
        else cout << "NO" << endl;
    }
}