import std.stdio, std.string, std.conv;
import std.array, std.algorithm, std.range;

void main()
{
    foreach(s;stdin.byLine())
    {
        auto c = s.split().map!(to!real).array();
        auto r = 20-c[0]-c[1];
        writeln(r-c.count!(i=>i<=r)()>3?"YES":"NO");
    }
}