import std.stdio;
import std.conv;
import std.string;
import std.typecons;
import std.algorithm;
import std.array;
import std.range;
import std.math;
import std.regex;
import std.container;

void main()
{
	foreach (line; stdin.byLine) {
		auto x = line.split.map!(to!int);
		auto l = iota(1, 11).array;
		foreach (xx; x) {
			l.remove(xx-1);
		}
		auto sum = x[0] + x[1];
		int cnt;
		foreach (i; l) {
			if (sum + i <= 20) cnt++;
		}
		if (cnt / 7.0 >= 0.5) writeln("YES");
		else writeln("NO");
	}
}