#include <iostream>
using namespace std;
int main() {
	int f;
	int a = 0;
	for (int i = 0; i < 3; i++) {
		cin >> f;
		if (f == 7) {
			a = 1;
		}
	}
	if (a == 1)cout << "Yes" << endl;
	else cout << "No" << endl;
}