#include <bits/stdc++.h>
#define range(i,a,b) for(int (i)=(a);(i)<(b);(i)++)
#define rep(i,n) range(i,0,n)
using namespace std;

typedef complex<double> P;

int main(void){
	while(1){
		int c[3];
		rep(i,3) cin >> c[i];
		if(cin.eof()) break;
		int res=20-c[0]-c[1];
		int num=0;
		range(i,1,11){
			rep(j,3) if(i==c[j]) continue;
			if(i<=res) num++;
		}
		if(num>=4)
			puts("YES");
		else
			puts("NO");
	}
	return 0;
}