import java.util.*;
public class Main {
    public static void main(String[] args) throws Exception {
        Scanner sc = new Scanner(System.in);
        // int[] a = new int[3];
        // int five = 0;
        // int seven = 0;

        // for(int i = 0; i < a.length; i++){
        //     // System.out.println(i + "文字目を入力してください");
        //     a[i] = sc.nextInt();
        // }
        // for(int i = 0; i < a.length; i++){
        //     if(a[i] == 5){
        //         five++;
        //     } else if(a[i] == 7){
        //         seven++;
        //     }
        // }
        // if(five == 2 && seven == 1){
        //     System.out.println("YES");
        // }else{
        //     System.out.println("NO");
        // }
        int a = sc.nextInt();
        int b = sc.nextInt();
        int c = sc.nextInt();
        int five = 0;
        int seven = 0;

        if(a == 5){
            five++;
        }else if(a == 7){
            seven++;
        }
        if(b == 5){
            five++;
        }else if(b == 7){
            seven++;
        }
        if(c == 5){
            five++;
        }else if(c == 7){
            seven++;
        }
        if(five == 2&&seven == 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