import std.stdio, std.array, std.conv, std.algorithm, std.string, std.numeric, std.range;
void main() {
	string s;
	while( (s=readln.strip).length != 0 ){
		auto as = s.split(' ').map!(to!int).array;
		int[10] m;
		m[as[0]-1] = 1; m[as[1]-1] = 1; m[as[2]-1] = 1;
		int c = 0;
		for(int i=0; i < 20-as[0]-as[1] && i < 10;i++){
			if(m[i] == 0) c++;
		}
		if(c>3) writeln("YES");
		else writeln("NO");
	}
}