
import java.util.Scanner;

/**
 * Hello world!
 *
 */
public class Main
{
    public static void main( String[] args )
    {
		Scanner scanner = new Scanner (System.in);
		String input = scanner.nextLine();

		IrohaAndEasy solver = new IrohaAndEasy();

		System.out.println(solver.solve(input));

    }

    static class IrohaAndEasy {

    	public String solve(String input) {

    		String answer;
    		String abc[] = input.split(" ");
    		int five = 0;
    		int seven = 0;
    		int other = 0;

    		for(String n :abc) {
    			Integer i = new Integer(n);
    			if( i== 5) {
    				five++;
    			} else if(i == 7) {
    				seven++;
    			} else {
    				other++;
    			}
    		}

    		if(five == 2 && seven == 1) {
    			answer = "YES";
    		} else {
    			answer = "NO";
    		}
    		return answer;
    	}

    }

}

/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