#include <iostream>
#include <fstream>
#include <sstream>
#include <iomanip> 
#include <complex> 
#include <string>
#include <vector> 
#include <list>
#include <deque> 
#include <stack> 
#include <queue> 
#include <set>
#include <map>
#include <bitset>
#include <functional>
#include <utility>
#include <algorithm> 
#include <numeric> 
#include <typeinfo> 
#include <cstdio>
#include <cstdlib> 
#include <cstring>
#include <cmath>
#include <climits> 
#include <ctime>

using namespace std;

int main(void){
	int i;
	bool card[11];
	int have[3];
	while(~scanf("%d %d %d",&have[0],&have[1],&have[2])){
		int ans=20;
		int ans2=0;
		for(i=0;i<=10;i++)card[i]=false;
		ans-=have[0];
		ans-=have[1];
		for(i=0;i<=2;i++)card[have[i]]=true;
		for(i=1;i<=10;i++){
			if(card[i]==false){
				if(i<=ans)ans2++;
			}
		}
		if(ans2>=4)cout << "YES" << endl;
		else cout << "NO" << endl;
	}
	return 0;
}