#include<stdio.h>

int main(){
	int n,m,r,res=0;
	scanf("%d%d%d",&m,&n,&r);
	
	if(m==5&&n==5&&r==7)
		res=1;
	else if(m==5&&r==5&&n==7)
		res=1;
	else if(m==7&&n==5&&r==5)
		res=1;
	if(res==1)
		printf("Yes\n");
	else printf("No\n");
	return 0;
}