
using System;
class aoj
{
    static void Main()
    {
        while (true)
        {
            string a = Console.ReadLine();
            if (String.IsNullOrEmpty(a)) break;
            string[] b = a.Split(' ');
            int c = int.Parse(b[0]), d = int.Parse(b[1]), e = int.Parse(b[2]),f=c+d,g=20-f;
            int plus = 0, mainasu = 0; ;
            for(int i = 1; i <= 10; i++)
            {
                if (i != c && i != d && i != e)
                {
                    for(int j = 1; j <= 10; j++)
                    {
                        if(j != c && j != d && j != e && i != j)
                        {
                            if (f + j <= 20)
                                plus++;
                            else
                                mainasu++;
                        }
                    }
                }
            }
            if (plus >= mainasu)
                Console.WriteLine("YES");
            else
                Console.WriteLine("NO");
        }
    }
}
 

 