#include <bits/stdc++.h>
using namespace std;

int main(){
    ios::sync_with_studio(0);
    cin.tie(0);
    int a,b,c;

    cin >> a >> b >> c;

    if(a == 7 || b ==7 || c==7){
        cout << "Yes";
    }else{
        cout << "No";
    }

}
