#include <iostream>
#include <cstdio>

using namespace std;

int a,b,c;

int main()
{
    scanf("%d%d%d",&a,&b,&c);
    if(max(a,max(b,c))==7&&min(a,min(b,c))==5&&a+b+c==17)
        printf("YES\n");
    else
        printf("NO\n");
    return 0;
}
