#include <iostream>
using namespace std;

int main(){
    int a1,a2,b;
    while(cin>>a1>>a2>>b){
        int cmax=min(10,20-(a1+a2));
        int cmin=1;
        int n=cmax-cmin+1;
        if(cmin<=a1 && a1<=cmax) n--;
        if(cmin<=a2 && a2<=cmax) n--;
        if(cmin<=b  &&  b<=cmax) n--;
        cout<<((double)n/7>=0.5 ? "YES" : "NO")<<endl;
    }
}