import java.util.*;

public class Main {
	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
      //文節の長さ
      int a = sc.nextInt();
      int b = sc.nextInt();
      int c = sc.nextInt();
      
      
      if(a >= 5 && b >= 5 && c >= 5){
        int total = a + b + c;
        if((a >= 7 || b >= 7 || c >= 7) && total == 17){
          System.out.println("YES");
        }else{
          System.out.println("NO");
        }
      }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