import java.util.*;
public class Main {

	public static void main(String[] args) {
		// TODO Auto-generated method stub
	Scanner reader=new Scanner(System.in);
	int A= reader.nextInt();
	int B= reader.nextInt();
	int C= reader.nextInt();
	int tab[]= {A,B,C};
	Arrays.sort(tab);
	if ((tab[0]==5  && tab[1]==5 && tab[2]==7)) {
		System.out.print("YES");}
		else {
			System.out.print("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