#include<stdio.h>
#define BUFSIZE 10000
#include<stdlib.h>
int hoge[BUFSIZE]={0};
int main(void){
	for(int i=0;i<3;i++){
	scanf("%d",&hoge[i]);
	}
 for(int i=0;i<3;i++){
	 if(hoge[i]==7){
		 printf("Yes");
		 exit(0);
	 }
	 if(i==2){
		 printf("No");
		 exit(0);
	 }
	}

}