#include <stdio.h>
#include <iostream>
#include <algorithm>

using namespace std;

int a[100];

int main()
{
    for(int i = 0; i < 3; i++){
        scanf("%d",&a[i]);
    }
    sort(a,a+3);
    if(a[0]==5 && a[1]==5 && a[2]==7){
        cout << "YES" << endl;
    }
    else {
        cout << "NO" << endl;
    }

}
