import std.stdio,std.string,std.conv;

int main()
{
	string s;
	while((s = readln.chomp).length != 0)
	{
		string[] _s = s.split(" ");
		int a = _s[0].to!int;
		int b = _s[1].to!int;
		int c = _s[2].to!int;

		int count = 0;
		bool flag[11];
		foreach(i;1..11) flag[i] = true;

		flag[a] = false;
		flag[b] = false;
		flag[c] = false;

		foreach(i;1..11)
		{
			if(flag[i] == true && a+b+i <= 20)
			{
				count++;
			}
		}

		if(count/7.0 >= 0.5)
		{
			writeln("YES");
		}
		else
		{
			writeln("NO");
		}
	}
	return 0;
}