#include<iostream>
#include<cstdio>
#include<vector>
#include<algorithm>
#include<cmath>
#include<queue>
#include<stack>
#include<functional>
#include<string>
#include<cstring>
using namespace std;
#define LATTE 10000

int main(){
	int C1,C2,C3;
	while(cin>>C1>>C2>>C3){
		int cnt=0;
		for(int i=1;i<=10;i++){
			if(C1+C2+i<=20 && i!=C1 && i!=C2 && i!=C3) cnt++;
		}
		if(cnt/7.0>=0.5) puts("YES");
		else puts("NO");
	}
    return 0;
}