#include<iostream>
#include<cstdio>
using namespace std;
int main()
{
    int x;
    int ans=0,cnt=0;
    for(int i=1; i<=3; i++)
    {
        scanf("%d",&x);
        if(x==5)
            ans++;
        if(x==7)
            cnt++;
    }
    if(ans==2&&cnt==1)
        printf("YES\n");
    else
        printf("NO\n");
    return 0;
}
