#include<stdio.h>
int main(void)
{
    const int N = 10 + 1;
    int my1, my2, enemy1;
    int i, s;
    while( scanf("%d %d %d", &my1, &my2, &enemy1) == 3)
    {
        bool isUsed[N] = {false};
        isUsed[my1] = isUsed[my2] = isUsed[enemy1] = true;
        s = my1+my2;
        int count = 0;
        for(i = 1; i < N; i++)
        {
            if(!isUsed[i] && s+i <= 20)
            {
                count++;
            }
        }
        //©¦ÄÈ¢ÌÍSÅ7ÈÌÅA4Â Á½ç50ð´¦é
        puts( count>=4 ? "YES" : "NO");
    }
    return 0;
}
