import java.util.*;
import static java.lang.Integer.*;
import static java.lang.Long.*;
import static java.lang.Math.*;
import static java.lang.System.*;

public class Main {
	public static int N = 3;
	public static void main(String[] args) {
		int i,j;
		Scanner sc = new Scanner(in);
		int[] a = new int[3];
		a[0] = parseInt(sc.next());
		a[1] = parseInt(sc.next());
		a[2] = parseInt(sc.next());
		sc.close();
		Arrays.parallelSort(a);
		if(a[0]==5&&a[1]==5&&a[2]==7) {
			out.println("YES");
		} else {
			out.println("NO");
		}
	}
} import java.util.*; util.* java import static java.lang.Integer.*; import static java.lang.Integer.*; import static java.lang.Integer.*; import static java.lang.Long.*; import static java.lang.Long.*; import static java.lang.Long.*; import static java.lang.Math.*; import static java.lang.Math.*; import static java.lang.Math.*; import static java.lang.System.*; import static java.lang.System.*; import static java.lang.System.*; public class Main {
	public static int N = 3;
	public static void main(String[] args) {
		int i,j;
		Scanner sc = new Scanner(in);
		int[] a = new int[3];
		a[0] = parseInt(sc.next());
		a[1] = parseInt(sc.next());
		a[2] = parseInt(sc.next());
		sc.close();
		Arrays.parallelSort(a);
		if(a[0]==5&&a[1]==5&&a[2]==7) {
			out.println("YES");
		} else {
			out.println("NO");
		}
	}
} Main public static int N = 3; N 3 public static void main(String[] args) {
		int i,j;
		Scanner sc = new Scanner(in);
		int[] a = new int[3];
		a[0] = parseInt(sc.next());
		a[1] = parseInt(sc.next());
		a[2] = parseInt(sc.next());
		sc.close();
		Arrays.parallelSort(a);
		if(a[0]==5&&a[1]==5&&a[2]==7) {
			out.println("YES");
		} else {
			out.println("NO");
		}
	} main {
		int i,j;
		Scanner sc = new Scanner(in);
		int[] a = new int[3];
		a[0] = parseInt(sc.next());
		a[1] = parseInt(sc.next());
		a[2] = parseInt(sc.next());
		sc.close();
		Arrays.parallelSort(a);
		if(a[0]==5&&a[1]==5&&a[2]==7) {
			out.println("YES");
		} else {
			out.println("NO");
		}
	} int i i j; j Scanner sc = new Scanner(in); sc new Scanner(in) int[] a = new int[3]; a new int[3] 3 a[0] = parseInt(sc.next()) a[0] a 0 parseInt(sc.next()) parseInt sc.next() sc.next sc a[1] = parseInt(sc.next()) a[1] a 1 parseInt(sc.next()) parseInt sc.next() sc.next sc a[2] = parseInt(sc.next()) a[2] a 2 parseInt(sc.next()) parseInt sc.next() sc.next sc sc.close() sc.close sc Arrays.parallelSort(a) Arrays.parallelSort Arrays a if(a[0]==5&&a[1]==5&&a[2]==7) {
			out.println("YES");
		} else {
			out.println("NO");
		} a[0]==5&&a[1]==5&&a[2]==7 a[0]==5&&a[1]==5&&a[2]==7 a[0]==5 a[0] a 0 5 a[1]==5 a[1] a 1 5 a[2]==7 a[2] a 2 7 {
			out.println("YES");
		} out.println("YES") out.println out "YES" {
			out.println("NO");
		} out.println("NO") out.println out "NO" String[] args args public class Main {
	public static int N = 3;
	public static void main(String[] args) {
		int i,j;
		Scanner sc = new Scanner(in);
		int[] a = new int[3];
		a[0] = parseInt(sc.next());
		a[1] = parseInt(sc.next());
		a[2] = parseInt(sc.next());
		sc.close();
		Arrays.parallelSort(a);
		if(a[0]==5&&a[1]==5&&a[2]==7) {
			out.println("YES");
		} else {
			out.println("NO");
		}
	}
} public class Main {
	public static int N = 3;
	public static void main(String[] args) {
		int i,j;
		Scanner sc = new Scanner(in);
		int[] a = new int[3];
		a[0] = parseInt(sc.next());
		a[1] = parseInt(sc.next());
		a[2] = parseInt(sc.next());
		sc.close();
		Arrays.parallelSort(a);
		if(a[0]==5&&a[1]==5&&a[2]==7) {
			out.println("YES");
		} else {
			out.println("NO");
		}
	}
} Main
import java.util.*;
import static java.lang.Integer.*;
import static java.lang.Long.*;
import static java.lang.Math.*;
import static java.lang.System.*;

public class Main {
	public static int N = 3;
	public static void main(String[] args) {
		int i,j;
		Scanner sc = new Scanner(in);
		int[] a = new int[3];
		a[0] = parseInt(sc.next());
		a[1] = parseInt(sc.next());
		a[2] = parseInt(sc.next());
		sc.close();
		Arrays.parallelSort(a);
		if(a[0]==5&&a[1]==5&&a[2]==7) {
			out.println("YES");
		} else {
			out.println("NO");
		}
	}
}
