import java.util.*;

public class Main{
    
    /////////////////////////////////
    //                             //
    //  @ Author: Ali Mohammed Ali //
    //                             //
    /////////////////////////////////
    
    public static void main(String[] args) {
        
        Scanner in = new Scanner(System.in);
        
        int A,B,C;
        int sum5 = 0;
        int sum7 = 0;
        
        A = in.nextInt();
        B = in.nextInt();
        C = in.nextInt();
        
        if (A == 5)
            sum5++;
        else if (A == 7)
            sum7++;
        
        if (B == 5)
            sum5++;
        else if (B == 7)
            sum7++;
        
        if (C == 5)
            sum5++;
        else if (C == 7)
            sum7++;
        
        if (sum5 == 2 && sum7 == 1)
            System.out.println("YES");
        else
            System.out.println("NO");
  
    } // End of Main method
    
  } // End of class
/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