#include "bits/stdc++.h"
#include<unordered_map>
#include<unordered_set>
#pragma warning(disable:4996)
using namespace std;
using ld = long double;
const ld eps = 1e-9;

//// < "d:\d_download\visual studio 2015\projects\programing_contest_c++\debug\a.txt" > "d:\d_download\visual studio 2015\projects\programing_contest_c++\debug\b.txt"


int main() {
	int a, b, c;
	while (scanf("%d %d %d", &a, &b, &c)) {
		int num = 0;
		for (int i = 1; i <= 10; ++i) {
			if (i != a&&i != b&&i != c) {
				int sum = a + b + i;
				if (sum <= 20)num++;
			}
		}
		if (num >=3)cout << "YES" << endl;
		else cout << "NO" << endl;
	}
	return 0;
}