import std.stdio;
import std.algorithm;
import std.string;
import std.conv;
import std.math;

void main(){

    while(true){
	auto s1 = readln();
	if(stdin.eof()) break;
	auto s = split(s1);
	int a = to!int(s[0]);
	int b = to!int(s[1]);
	int oth = to!int(s[2]);
	int[11] cards;
	cards = 0;
	cards[a]--;
	cards[b]--;
	cards[oth]--;
	int r = 20 - a - b;
	int ans = 0;
	int ini = min(10,r);
	for(int i=ini;i>=0;i--){
	    if(cards[i]==0) ans++;
	}
	if(ans>=5) writeln("YES");
	else writeln("NO");
    }
}