#include <iostream>
using namespace std;
int main()
{
	int A,B,C;
	cin >> A >> B >> C;
	if (A * 100 + B * 10 + C == 575 || B * 100 + A * 10 + C == 575 || C * 100 + B * 10 + A == 575 || B * 100 + C * 10 + A == 575 || C * 100 + A * 10 + B == 575 || A * 100 + C * 10 + B == 575) cout << "Yes";
	else cout << "No";
	return 0;
}