#include <iostream>
#include <vector>

using namespace std;

int main()
{
    ios_base::sync_with_stdio(false);
    cin.tie(NULL);
    short n, sum = 0;
    for (size_t i = 0; i < 3; i++)
    {
        cin >> n;
        sum += n;
    }
    if (sum == 17)
    {
        cout << "YES" << endl;
    }
    else
    {
        cout << "NO" << endl;
    }

    return 0;
}