#include <iostream>
#include <algorithm>

using namespace std;

int main(){
        int c[3];
        while(cin >> c[0] >> c[1] >> c[2]){
                bool list[10];
                for(int i = 0; i < 10; i++){
                        list[i] = false;
                        for(int j = 0; j < 3; j++) list[i] |= i == c[j]-1;
                }   
                int m = 0;
                int count = 0;
                int idx = 0;
                while(idx < 10 && count < 4 ){
                        if(!list[idx]) count++;
                        if(count == 4) m = idx+1;
                        idx++;
                }   
                if(c[0]+c[1]+m <= 20) cout << "YES";
                else cout << "NO";
                cout << endl;
        }   
}