#include<iostream>
#include<string>
using namespace std;

string solve(int c1,int c2,int canLookCard){
    int count=0;

    for(int i=1; i<11; i++){
        if(i==c1 || i==c2 || i==canLookCard)
            continue;
        if(c1+c2+i>20){
            count++;
        }
    }
    return (count>3) ? "NO" : "YES";
}

int main()
{
    int c1,c2,canLookCard;
    while(cin>>c1>>c2>>canLookCard,!cin.eof()){
        cout<<solve(c1,c2,canLookCard)<<endl;
    }
    return 0;
}