#include<iostream>
#include<cstdio>
#include<algorithm>
#include<string>
#include<cstring>
using namespace std;
int main(){

	int a,b,c;
	while(scanf("%d%d%d",&a,&b,&c) != EOF){
        bool check[20] = {0};
        check[a] = check[b] = check[c] = 1;
        int cnt = 0;
        for(int i = 1; i <= 10; i++){
            if(check[i] == 0 && a+b+i <= 20){
                cnt++;
            }
        }
        if(cnt >= 4) cout << "YES" << endl;
        else cout << "NO" << endl;
	}

	return 0;
}