import java.nio.file.*;
import java.nio.charset.*;
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();
        int[] arr = {a, b, c};
        int[] arr2 = {5, 5, 7};
        Arrays.sort(arr);
        if(Arrays.equals(arr, arr2)){
            System.out.println("YES");
        }else{
            System.out.println("NO");
        }
    }
} import java.nio.file.*; file.* java.nio import java.nio.charset.*; charset.* java.nio import java.util.*; util.* java 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();
        int[] arr = {a, b, c};
        int[] arr2 = {5, 5, 7};
        Arrays.sort(arr);
        if(Arrays.equals(arr, arr2)){
            System.out.println("YES");
        }else{
            System.out.println("NO");
        }
    }
} 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();
        int[] arr = {a, b, c};
        int[] arr2 = {5, 5, 7};
        Arrays.sort(arr);
        if(Arrays.equals(arr, arr2)){
            System.out.println("YES");
        }else{
            System.out.println("NO");
        }
    } main {
        Scanner sc = new Scanner(System.in);
        int a = sc.nextInt();
        int b = sc.nextInt();
        int c = sc.nextInt();
        int[] arr = {a, b, c};
        int[] arr2 = {5, 5, 7};
        Arrays.sort(arr);
        if(Arrays.equals(arr, arr2)){
            System.out.println("YES");
        }else{
            System.out.println("NO");
        }
    } Scanner sc = new Scanner(System.in); sc new Scanner(System.in) int a = sc.nextInt(); a sc.nextInt() sc.nextInt sc int b = sc.nextInt(); b sc.nextInt() sc.nextInt sc int c = sc.nextInt(); c sc.nextInt() sc.nextInt sc int[] arr = {a, b, c}; arr {a, b, c} a b c int[] arr2 = {5, 5, 7}; arr2 {5, 5, 7} 5 5 7 Arrays.sort(arr) Arrays.sort Arrays arr if(Arrays.equals(arr, arr2)){
            System.out.println("YES");
        }else{
            System.out.println("NO");
        } Arrays.equals(arr, arr2) Arrays.equals Arrays arr arr2 {
            System.out.println("YES");
        } System.out.println("YES") System.out.println System.out System System.out "YES" {
            System.out.println("NO");
        } System.out.println("NO") System.out.println System.out System System.out "NO" String[] args args 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();
        int[] arr = {a, b, c};
        int[] arr2 = {5, 5, 7};
        Arrays.sort(arr);
        if(Arrays.equals(arr, arr2)){
            System.out.println("YES");
        }else{
            System.out.println("NO");
        }
    }
} 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();
        int[] arr = {a, b, c};
        int[] arr2 = {5, 5, 7};
        Arrays.sort(arr);
        if(Arrays.equals(arr, arr2)){
            System.out.println("YES");
        }else{
            System.out.println("NO");
        }
    }
} Main
import java.nio.file.*;
import java.nio.charset.*;
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();
        int[] arr = {a, b, c};
        int[] arr2 = {5, 5, 7};
        Arrays.sort(arr);
        if(Arrays.equals(arr, arr2)){
            System.out.println("YES");
        }else{
            System.out.println("NO");
        }
    }
}
