#include<stdio.h>
main()
{
    int a,b,c;
    scanf("%d %d %d",&a,&b,&c);
    if(a==5&&b==5&&c==7) printf("YES");
    else if(a==5&&b==7&&c==5) printf("YES");
    else if(a==7&&b==5&&c==5) printf("YES");
    else printf("NO");
}