import java.util.Scanner;

public class Main {

	static Scanner scanner;
	public static void main(String[] args) {
	    scanner = new Scanner(System.in);

	    int A= gi();
	    int B= gi();
	    int C= gi();

	    if ((A==5 && B== 5 && C==7)
	    || (A==5 && B== 7 && C==5)
	    || (A==7 && B== 5 && C==5)) {
            System.out.print("YES");
	    }else {
	    	System.out.print("NO");
	    }
	}

	// 文字列として入力を取得
	public static String gs() {
		return scanner.next();
	}

	// intとして入力を取得
	public static int gi() {
		return Integer.parseInt(scanner.next());
	}

	// longとして入力を取得
	public static long gl() {
		return Long.parseLong(scanner.next());
	}
} import java.util.Scanner; Scanner java.util public class Main {

	static Scanner scanner;
	public static void main(String[] args) {
	    scanner = new Scanner(System.in);

	    int A= gi();
	    int B= gi();
	    int C= gi();

	    if ((A==5 && B== 5 && C==7)
	    || (A==5 && B== 7 && C==5)
	    || (A==7 && B== 5 && C==5)) {
            System.out.print("YES");
	    }else {
	    	System.out.print("NO");
	    }
	}

	// 文字列として入力を取得
	public static String gs() {
		return scanner.next();
	}

	// intとして入力を取得
	public static int gi() {
		return Integer.parseInt(scanner.next());
	}

	// longとして入力を取得
	public static long gl() {
		return Long.parseLong(scanner.next());
	}
} Main static Scanner scanner; scanner public static void main(String[] args) {
	    scanner = new Scanner(System.in);

	    int A= gi();
	    int B= gi();
	    int C= gi();

	    if ((A==5 && B== 5 && C==7)
	    || (A==5 && B== 7 && C==5)
	    || (A==7 && B== 5 && C==5)) {
            System.out.print("YES");
	    }else {
	    	System.out.print("NO");
	    }
	} main {
	    scanner = new Scanner(System.in);

	    int A= gi();
	    int B= gi();
	    int C= gi();

	    if ((A==5 && B== 5 && C==7)
	    || (A==5 && B== 7 && C==5)
	    || (A==7 && B== 5 && C==5)) {
            System.out.print("YES");
	    }else {
	    	System.out.print("NO");
	    }
	} scanner = new Scanner(System.in) scanner new Scanner(System.in) int A= gi(); A gi() gi int B= gi(); B gi() gi int C= gi(); C gi() gi if ((A==5 && B== 5 && C==7)
	    || (A==5 && B== 7 && C==5)
	    || (A==7 && B== 5 && C==5)) {
            System.out.print("YES");
	    }else {
	    	System.out.print("NO");
	    } (A==5 && B== 5 && C==7)
	    || (A==5 && B== 7 && C==5)
	    || (A==7 && B== 5 && C==5) (A==5 && B== 5 && C==7)
	    || (A==5 && B== 7 && C==5)
	    || (A==7 && B== 5 && C==5) (A==5 && B== 5 && C==7) A==5 && B== 5 && C==7 A==5 A 5 B== 5 B 5 C==7 C 7 (A==5 && B== 7 && C==5) A==5 && B== 7 && C==5 A==5 A 5 B== 7 B 7 C==5 C 5 (A==7 && B== 5 && C==5) A==7 && B== 5 && C==5 A==7 A 7 B== 5 B 5 C==5 C 5 {
            System.out.print("YES");
	    } System.out.print("YES") System.out.print System.out System System.out "YES" {
	    	System.out.print("NO");
	    } System.out.print("NO") System.out.print System.out System System.out "NO" String[] args args // 文字列として入力を取得
	public static String gs() {
		return scanner.next();
	} gs {
		return scanner.next();
	} return scanner.next(); scanner.next() scanner.next scanner // intとして入力を取得
	public static int gi() {
		return Integer.parseInt(scanner.next());
	} gi {
		return Integer.parseInt(scanner.next());
	} return Integer.parseInt(scanner.next()); Integer.parseInt(scanner.next()) Integer.parseInt Integer scanner.next() scanner.next scanner // longとして入力を取得
	public static long gl() {
		return Long.parseLong(scanner.next());
	} gl {
		return Long.parseLong(scanner.next());
	} return Long.parseLong(scanner.next()); Long.parseLong(scanner.next()) Long.parseLong Long scanner.next() scanner.next scanner public class Main {

	static Scanner scanner;
	public static void main(String[] args) {
	    scanner = new Scanner(System.in);

	    int A= gi();
	    int B= gi();
	    int C= gi();

	    if ((A==5 && B== 5 && C==7)
	    || (A==5 && B== 7 && C==5)
	    || (A==7 && B== 5 && C==5)) {
            System.out.print("YES");
	    }else {
	    	System.out.print("NO");
	    }
	}

	// 文字列として入力を取得
	public static String gs() {
		return scanner.next();
	}

	// intとして入力を取得
	public static int gi() {
		return Integer.parseInt(scanner.next());
	}

	// longとして入力を取得
	public static long gl() {
		return Long.parseLong(scanner.next());
	}
} public class Main {

	static Scanner scanner;
	public static void main(String[] args) {
	    scanner = new Scanner(System.in);

	    int A= gi();
	    int B= gi();
	    int C= gi();

	    if ((A==5 && B== 5 && C==7)
	    || (A==5 && B== 7 && C==5)
	    || (A==7 && B== 5 && C==5)) {
            System.out.print("YES");
	    }else {
	    	System.out.print("NO");
	    }
	}

	// 文字列として入力を取得
	public static String gs() {
		return scanner.next();
	}

	// intとして入力を取得
	public static int gi() {
		return Integer.parseInt(scanner.next());
	}

	// longとして入力を取得
	public static long gl() {
		return Long.parseLong(scanner.next());
	}
} Main
import java.util.Scanner;

public class Main {

	static Scanner scanner;
	public static void main(String[] args) {
	    scanner = new Scanner(System.in);

	    int A= gi();
	    int B= gi();
	    int C= gi();

	    if ((A==5 && B== 5 && C==7)
	    || (A==5 && B== 7 && C==5)
	    || (A==7 && B== 5 && C==5)) {
            System.out.print("YES");
	    }else {
	    	System.out.print("NO");
	    }
	}

	// 文字列として入力を取得
	public static String gs() {
		return scanner.next();
	}

	// intとして入力を取得
	public static int gi() {
		return Integer.parseInt(scanner.next());
	}

	// longとして入力を取得
	public static long gl() {
		return Long.parseLong(scanner.next());
	}
}