#include<stdio.h>
main(){
	int A,B,C;
	scanf("%d%d%d",&A&B&C);
	if(A==5||B==5||C==7)
		printf("Yes");
	if(A==5||B==7||C==5)
		printf("Yes");
	if(A==7||B==5||C==5)
		printf("Yes");
	else
	printf("No");
	
	
	
} 