#include <stdio.h>
#include <stdlib.h>

int main()
{
    int a[3],i,cnt=0,ccnt=0;
    scanf("%d %d %d",&a[0],&a[1],&a[2]);
    for(i=0;i<3;i++)
    {
        if(a[i]==5)
            cnt++;
        if(a[i]==7)
            ccnt++;

    }
    if(cnt==2&&ccnt==1)
    printf("YES\n");
    else
        printf("NO\n");
    return 0;
}
