import java.util.*;
import javax.lang.model.util.ElementScanner6;

public class Main {

    public static void main(String[] args) {
        Scanner sc = new Scanner(System.in);

        // 入力
        int[] word = new int[3];
        word[0] = sc.nextInt();
        word[1] = sc.nextInt();
        word[2] = sc.nextInt();

        // 処理
        Arrays.sort(word);
        String out;
        if (word[0] == 5 && word[1] == 5 && word[2] == 7){
            out = "YES";
        } else {
            out = "NO";
        }


        // 出力
        System.out.println(out);
    }

}
/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