class Main{
 
public static void main(String[] args){
  int count5 = 0;
  int count7 = 0;
  
  java.util.Scanner scanner = new java.util.Scanner(System.in);
  
  for(int i = 0; i < 3; i++){
  	String str = scanner.next();
    if(str.equals("5")){
      count5++;
    } else if(str.equals("7")){
      count7++;
    }
  }
  
  if(count5 == 2 && count7 == 1){
  	System.out.println("YES");
  }else {
  	System.out.println("NO");
  }
}
}
/tmp/hf-datasets-cache/medium/datasets/42704881117311-config-parquet-and-info-qiankunmu-Project_CodeNet-896c9d36/hub/datasets--qiankunmu--Project_CodeNet_Python800_and_Java250/snapshots/c899fde44a77ba1cc14973ed3de064e4ff3aadc7/Project_CodeNet_Java250.tar.gz