import java.util.ArrayList;
import java.util.Comparator;
import java.util.HashMap;
import java.util.List;
import java.util.Map;
import java.util.Map.Entry;
import java.util.Scanner;
import java.util.stream.Collectors;
 
public class Main {
 
 public static void main(String[] args) {
  Scanner sc = new Scanner(System.in);
  List<Integer> list = new ArrayList<>();
  list.add(sc.nextInt());
  list.add(sc.nextInt());
  list.add(sc.nextInt());
  int fi = 0;
  int se = 0;
  for (int i : list) {
   if (i == 5) {
    fi += 1;
   } else if (i == 7) {
    se += 1;
   }
  }
  if (fi == 2 && se == 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