#include <cstdio>
#include <vector>
#include <algorithm>
#include <cstring>
#include <string>
#include <cctype>
#include <sstream>
#include <cmath>
#include <climits>
#include <set>
#include <iostream>
#include <map>
#include <functional>

using namespace std;

#define reep(i,f,n) for(int i=f; i<int(n); ++i)
#define rep(i,n) reep(i,0,n)

const double EPS = 1e-10;

typedef vector<int> vi;

int main()
{
	int c1, c2, c3;
	while(scanf("%d%d%d", &c1, &c2, &c3) != EOF){
		int okay = 0;
		for(int i=1; i<=20-c1-c2; ++i){
			if(c1==i || c2==i || c3==i) continue;
			++okay;
		}
		puts(okay>3 ? "YES" : "NO");
	}

	return 0;
}