#include <iostream>
using namespace std;

int main(){
    bool t[10];
    int c1, c2, c3, temp;
    while(cin >> c1 >> c2 >> c3){
        for(int i = 0;i<10;i++){
            t[i] = false;
        }
        t[c1-1] = true;
        t[c2-1] = true;
        t[c3-1] = true;
        temp = 0;
        for(int i = 0;i<10;i++){
            if(!t[i] && (c1 + c2 + i + 1) <= 20){
                temp++;
            }
        }
        cout << ((temp >= 4) ? "YES" : "NO") << endl;
    }
    return 0;
}