#include<bits/stdc++.h>
using namespace std;
int main()
{
    int a[3];
    while(1)
    {
        for(int i = 0;i < 3;i ++)
        cin >> a[i];
        sort(a,a + 3);
        if(a[0] == 5 && a[1] == 5 && a[2] == 7)
        cout << "YES" << endl;
        else
        cout << "NO" << endl;
    }
    return 0;
}
