
import java.util.Scanner;

class Main {

    int[] abc;

    Main(int[] abc) {
        this.abc = abc;
    }

    String solve() {

        final String YES = "YES";
        final String NO = "NO";

        int n5 = 0;
        int n7 = 0;

        for (int i = 0; i < 3; i++) {
            if (abc[i] == 5) {
                n5++;
            } else if (abc[i] == 7) {
                n7++;
            }
        }

        if (n5 == 2 && n7 == 1) {
            return YES;
        } else {
            return NO;
        }
    }

    public static void main(String args[]) {
        // input
        int[] abc = new int[3];
        Scanner sc = new Scanner(System.in);
        for (int i = 0; i < 3; i++) {
            abc[i] = sc.nextInt();
        }
        sc.close();

        // solve
        String greeting = new Main(abc).solve();

        // display
        System.out.println(greeting);
    }
}
/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