#include<stdio.h>

int main(){
	int a,b,c;

	scanf("%d%d%d",&a,&b,&c);

	if(a == 7){
		printf("Yes");
	}
	else if(b == 7){
		printf("Yes");
	}
	else if(c == 7){
		printf("Yes");	
	
	}
	else{
		printf("No");
	}

	return 0;
}