#include <iostream>
using namespace std;

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