#include<cstdio>
#include<iostream>

using namespace std;

int main()
{
	int a,b,c;
	scanf("%d %d %d",&a,&b,&c);
	if(( a == 5 && b == 5 && c == 7 ) || 
	   ( a == 5 && b == 7 && c == 5 ) || 
	   ( a == 7 && b == 5 && c == 5 ))
		printf("Yes\n");
		else printf("No\n");
	return 0;
}