#include<iostream>
using namespace std;

int main(){
	int a,b,c,s;
	while(cin>>a>>b>>c){
		int cnt=0;
		for(int i=1;i<=10;i++){
			if(i!=a&&i!=b&&i!=c&&a+b+i<=20)cnt++;
		}
		cout<<(2*cnt>=7?"YES":"NO")<<endl;
	}
	return 0;
}