import java.util.Scanner;

public class Main {
	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		int[] num1 = {sc.nextInt(),sc.nextInt(),sc.nextInt()};
		int count = 0;
		for(int i = 0; i < 3; i++) {
			if(num1[i] == 5) {
				count++;
			} else if(num1[i] == 7) {
				count += 2;
			} else {
				System.out.println("NO");
				return ;
			}
		}
		System.out.println(count == 4 ? "YES" : "NO");

	}

}

/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