#include<stdio.h>
#include<stdlib.h>
int compare_int(const void *a,const void *b){
  return *(int*)a-*(int*)b;
}
int main(void){
  int a[3];
  scanf("%d%d%d",&a[0],&a[1],&a[2]);
  qsort(a,3,sizeof(int),compare_int);
  if(a[0]==5&&a[1]==5&&a[2]==7)
    printf("YES\n");
  else
    printf("NO\n");
  return 0;
}