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