#include <iostream>
#include <array>
#include <algorithm>
using namespace std;

int main(){
    int c1,c2,c3;

    while(cin>>c1){
        cin>>c2>>c3;

        array<bool,10> card;
        int total=0;
        card.fill(true);

        card[c1-1]=card[c2-1]=card[c3-1]=false;

        for(int i=20-c1-c2;i<10;i++){
            card[i]=false;
        }

        for_each(card.begin(),card.end(),[&](bool x){ if(x) total++;});

        cout<< (total>=4?"YES":"NO") <<endl;
    }

    return 0;
}