#include<iostream>
#include<cstdio>
using namespace std;
int book[12];
int main()
{
    int a,b,c;
    scanf("%d%d%d",&a,&b,&c);
    book[a]++;
    book[b]++;
    book[c]++;
    if(book[5]==2&&book[7]==1)
        printf("YES");
    else printf("NO");
    return 0;
}

