#include <iostream>
#include <vector>
#include <algorithm>
#include <iterator>
 
#define INPUT_FROM_FILE (0) 
#if INPUT_FROM_FILE
#include <fstream>
#endif
 
int main(){
	std::vector<int> c(3);
	std::vector<int> all_cards(10);

	for(int i = 0; i < 10; i++){
		all_cards[i] = i + 1;
	}

#if INPUT_FROM_FILE
	std::ifstream ifs("test.txt");
	//FILE *fp = fopen("test.txt", "r");
#endif

#if INPUT_FROM_FILE
	while(ifs >> c[0] >> c[1] >> c[2]){
#else
	while(std::cin >> c[0] >> c[1] >> c[2]){
#endif
		std::vector<int> remaining_cards;
		int t = 20 - c[0] - c[1];
		int all_counter = 0;
		int t_counter = 0;

		std::sort(c.begin(), c.end());
		std::set_difference(all_cards.begin(), all_cards.end(), c.begin(), c.end(), std::inserter(remaining_cards, remaining_cards.begin()));

		for(int i = 0; i < remaining_cards.size(); i++){
			if(remaining_cards[i] <= t){
				t_counter++;
			}
			all_counter++;

		}
		if(double(t_counter) / all_counter >= 0.5){
			std::cout << "YES" << std::endl;
		}
		else{
			std::cout << "NO" << std::endl;
		}
	}
 
 
#if INPUT_FROM_FILE
	//fclose(fp);
#endif
    return 0;
}
