import java.util.*;
public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		Scanner sc = new Scanner(System.in);
		List<Integer> l = new ArrayList<Integer>();
		List<Integer> check = new ArrayList<Integer>();
		for(int i=0;i<3;i++) {
			l.add(sc.nextInt());
		}
		check.add(5);
		check.add(5);
		check.add(7);
		Collections.sort(l);
		Collections.sort(check);
	//	System.out.println(l);
	//	System.out.println(check);
		String ans = "NO";
		if(l.get(0)==check.get(0)) {
			if(l.get(1)==check.get(1)) {
				if(l.get(2)==check.get(2)) {
					ans = "YES";
				}
			}
		}
		System.out.println(ans);
	}
} import java.util.*; util.* java public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		Scanner sc = new Scanner(System.in);
		List<Integer> l = new ArrayList<Integer>();
		List<Integer> check = new ArrayList<Integer>();
		for(int i=0;i<3;i++) {
			l.add(sc.nextInt());
		}
		check.add(5);
		check.add(5);
		check.add(7);
		Collections.sort(l);
		Collections.sort(check);
	//	System.out.println(l);
	//	System.out.println(check);
		String ans = "NO";
		if(l.get(0)==check.get(0)) {
			if(l.get(1)==check.get(1)) {
				if(l.get(2)==check.get(2)) {
					ans = "YES";
				}
			}
		}
		System.out.println(ans);
	}
} Main public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		Scanner sc = new Scanner(System.in);
		List<Integer> l = new ArrayList<Integer>();
		List<Integer> check = new ArrayList<Integer>();
		for(int i=0;i<3;i++) {
			l.add(sc.nextInt());
		}
		check.add(5);
		check.add(5);
		check.add(7);
		Collections.sort(l);
		Collections.sort(check);
	//	System.out.println(l);
	//	System.out.println(check);
		String ans = "NO";
		if(l.get(0)==check.get(0)) {
			if(l.get(1)==check.get(1)) {
				if(l.get(2)==check.get(2)) {
					ans = "YES";
				}
			}
		}
		System.out.println(ans);
	} main {
		// TODO 自動生成されたメソッド・スタブ
		Scanner sc = new Scanner(System.in);
		List<Integer> l = new ArrayList<Integer>();
		List<Integer> check = new ArrayList<Integer>();
		for(int i=0;i<3;i++) {
			l.add(sc.nextInt());
		}
		check.add(5);
		check.add(5);
		check.add(7);
		Collections.sort(l);
		Collections.sort(check);
	//	System.out.println(l);
	//	System.out.println(check);
		String ans = "NO";
		if(l.get(0)==check.get(0)) {
			if(l.get(1)==check.get(1)) {
				if(l.get(2)==check.get(2)) {
					ans = "YES";
				}
			}
		}
		System.out.println(ans);
	} Scanner sc = new Scanner(System.in); sc new Scanner(System.in) List<Integer> l = new ArrayList<Integer>(); l new ArrayList<Integer>() List<Integer> check = new ArrayList<Integer>(); check new ArrayList<Integer>() for(int i=0;i<3;i++) {
			l.add(sc.nextInt());
		} int i=0; int i=0; i 0 i<3 i 3 i++ i++ i {
			l.add(sc.nextInt());
		} {
			l.add(sc.nextInt());
		} l.add(sc.nextInt()) l.add l sc.nextInt() sc.nextInt sc check.add(5) check.add check 5 check.add(5) check.add check 5 check.add(7) check.add check 7 Collections.sort(l) Collections.sort Collections l Collections.sort(check) Collections.sort Collections check String ans = "NO"; ans "NO" if(l.get(0)==check.get(0)) {
			if(l.get(1)==check.get(1)) {
				if(l.get(2)==check.get(2)) {
					ans = "YES";
				}
			}
		} l.get(0)==check.get(0) l.get(0) l.get l 0 check.get(0) check.get check 0 {
			if(l.get(1)==check.get(1)) {
				if(l.get(2)==check.get(2)) {
					ans = "YES";
				}
			}
		} if(l.get(1)==check.get(1)) {
				if(l.get(2)==check.get(2)) {
					ans = "YES";
				}
			} l.get(1)==check.get(1) l.get(1) l.get l 1 check.get(1) check.get check 1 {
				if(l.get(2)==check.get(2)) {
					ans = "YES";
				}
			} if(l.get(2)==check.get(2)) {
					ans = "YES";
				} l.get(2)==check.get(2) l.get(2) l.get l 2 check.get(2) check.get check 2 {
					ans = "YES";
				} ans = "YES" ans "YES" System.out.println(ans) System.out.println System.out System System.out ans String[] args args public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		Scanner sc = new Scanner(System.in);
		List<Integer> l = new ArrayList<Integer>();
		List<Integer> check = new ArrayList<Integer>();
		for(int i=0;i<3;i++) {
			l.add(sc.nextInt());
		}
		check.add(5);
		check.add(5);
		check.add(7);
		Collections.sort(l);
		Collections.sort(check);
	//	System.out.println(l);
	//	System.out.println(check);
		String ans = "NO";
		if(l.get(0)==check.get(0)) {
			if(l.get(1)==check.get(1)) {
				if(l.get(2)==check.get(2)) {
					ans = "YES";
				}
			}
		}
		System.out.println(ans);
	}
} public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		Scanner sc = new Scanner(System.in);
		List<Integer> l = new ArrayList<Integer>();
		List<Integer> check = new ArrayList<Integer>();
		for(int i=0;i<3;i++) {
			l.add(sc.nextInt());
		}
		check.add(5);
		check.add(5);
		check.add(7);
		Collections.sort(l);
		Collections.sort(check);
	//	System.out.println(l);
	//	System.out.println(check);
		String ans = "NO";
		if(l.get(0)==check.get(0)) {
			if(l.get(1)==check.get(1)) {
				if(l.get(2)==check.get(2)) {
					ans = "YES";
				}
			}
		}
		System.out.println(ans);
	}
} Main
import java.util.*;
public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		Scanner sc = new Scanner(System.in);
		List<Integer> l = new ArrayList<Integer>();
		List<Integer> check = new ArrayList<Integer>();
		for(int i=0;i<3;i++) {
			l.add(sc.nextInt());
		}
		check.add(5);
		check.add(5);
		check.add(7);
		Collections.sort(l);
		Collections.sort(check);
	//	System.out.println(l);
	//	System.out.println(check);
		String ans = "NO";
		if(l.get(0)==check.get(0)) {
			if(l.get(1)==check.get(1)) {
				if(l.get(2)==check.get(2)) {
					ans = "YES";
				}
			}
		}
		System.out.println(ans);
	}
}