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