import java.util.Arrays;
import java.util.Scanner;
import java.util.stream.IntStream;

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();

        System.out.println(solve(A, B, C) ? "YES" : "NO");

        sc.close();
    }

    static boolean solve(int A, int B, int C) {
        return Arrays.equals(IntStream.of(A, B, C).sorted().toArray(), new int[] { 5, 5, 7 });
    }
} import java.util.Arrays; Arrays java.util import java.util.Scanner; Scanner java.util import java.util.stream.IntStream; IntStream java.util.stream 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();

        System.out.println(solve(A, B, C) ? "YES" : "NO");

        sc.close();
    }

    static boolean solve(int A, int B, int C) {
        return Arrays.equals(IntStream.of(A, B, C).sorted().toArray(), new int[] { 5, 5, 7 });
    }
} 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();

        System.out.println(solve(A, B, C) ? "YES" : "NO");

        sc.close();
    } main {
        Scanner sc = new Scanner(System.in);

        int A = sc.nextInt();
        int B = sc.nextInt();
        int C = sc.nextInt();

        System.out.println(solve(A, B, C) ? "YES" : "NO");

        sc.close();
    } 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 System.out.println(solve(A, B, C) ? "YES" : "NO") System.out.println System.out System System.out solve(A, B, C) ? "YES" : "NO" solve(A, B, C) solve A B C "YES" "NO" sc.close() sc.close sc String[] args args static boolean solve(int A, int B, int C) {
        return Arrays.equals(IntStream.of(A, B, C).sorted().toArray(), new int[] { 5, 5, 7 });
    } solve {
        return Arrays.equals(IntStream.of(A, B, C).sorted().toArray(), new int[] { 5, 5, 7 });
    } return Arrays.equals(IntStream.of(A, B, C).sorted().toArray(), new int[] { 5, 5, 7 }); Arrays.equals(IntStream.of(A, B, C).sorted().toArray(), new int[] { 5, 5, 7 }) Arrays.equals Arrays IntStream.of(A, B, C).sorted().toArray() IntStream.of(A, B, C).sorted().toArray IntStream.of(A, B, C).sorted() IntStream.of(A, B, C).sorted IntStream.of(A, B, C) IntStream.of IntStream A B C new int[] { 5, 5, 7 } int A A int B B int C C 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();

        System.out.println(solve(A, B, C) ? "YES" : "NO");

        sc.close();
    }

    static boolean solve(int A, int B, int C) {
        return Arrays.equals(IntStream.of(A, B, C).sorted().toArray(), new int[] { 5, 5, 7 });
    }
} 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();

        System.out.println(solve(A, B, C) ? "YES" : "NO");

        sc.close();
    }

    static boolean solve(int A, int B, int C) {
        return Arrays.equals(IntStream.of(A, B, C).sorted().toArray(), new int[] { 5, 5, 7 });
    }
} Main
import java.util.Arrays;
import java.util.Scanner;
import java.util.stream.IntStream;

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();

        System.out.println(solve(A, B, C) ? "YES" : "NO");

        sc.close();
    }

    static boolean solve(int A, int B, int C) {
        return Arrays.equals(IntStream.of(A, B, C).sorted().toArray(), new int[] { 5, 5, 7 });
    }
}