import java.util.Scanner;

public class Main {

	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		
		String result = "NO";
		
		int[] input = new int[3];
		for (int i=0; i<3; i++) {
			input[i] = sc.nextInt();
		}
		
		int count5 = 0;
		int count7 = 0;
		
		for (int j=0; j<3; j++) {
			if (input[j] == 5) {
				count5++;
			} else if (input[j] == 7) {
				count7++;
			} else {
				break;
			}
		}
		
		if (count5 == 2 && count7 == 1) {
			result = "YES";
		}
		
		System.out.println(result);
	}

}

/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