public class Main {
	public static void main(String[] args) {
		for(java.util.Scanner scan:new java.util.Scanner[] {new java.util.Scanner(System.in)}) {
			for(int a:new int[]{scan.nextInt()}) { 
				for(int b:new int[]{scan.nextInt()}) { 
					for(int c:new int[]{scan.nextInt()}) { 
						if(a==5&&b==5&&c==7||a==5&&b==7&&c==5||a==7&&b==5&&c==5) {
							if(System.out.printf("%s","YES")==null) {}
						}
						else {
							if(System.out.printf("%s","NO")==null) {}
						}
					}
				}
			}
		}
	}
} public class Main {
	public static void main(String[] args) {
		for(java.util.Scanner scan:new java.util.Scanner[] {new java.util.Scanner(System.in)}) {
			for(int a:new int[]{scan.nextInt()}) { 
				for(int b:new int[]{scan.nextInt()}) { 
					for(int c:new int[]{scan.nextInt()}) { 
						if(a==5&&b==5&&c==7||a==5&&b==7&&c==5||a==7&&b==5&&c==5) {
							if(System.out.printf("%s","YES")==null) {}
						}
						else {
							if(System.out.printf("%s","NO")==null) {}
						}
					}
				}
			}
		}
	}
} Main public static void main(String[] args) {
		for(java.util.Scanner scan:new java.util.Scanner[] {new java.util.Scanner(System.in)}) {
			for(int a:new int[]{scan.nextInt()}) { 
				for(int b:new int[]{scan.nextInt()}) { 
					for(int c:new int[]{scan.nextInt()}) { 
						if(a==5&&b==5&&c==7||a==5&&b==7&&c==5||a==7&&b==5&&c==5) {
							if(System.out.printf("%s","YES")==null) {}
						}
						else {
							if(System.out.printf("%s","NO")==null) {}
						}
					}
				}
			}
		}
	} main {
		for(java.util.Scanner scan:new java.util.Scanner[] {new java.util.Scanner(System.in)}) {
			for(int a:new int[]{scan.nextInt()}) { 
				for(int b:new int[]{scan.nextInt()}) { 
					for(int c:new int[]{scan.nextInt()}) { 
						if(a==5&&b==5&&c==7||a==5&&b==7&&c==5||a==7&&b==5&&c==5) {
							if(System.out.printf("%s","YES")==null) {}
						}
						else {
							if(System.out.printf("%s","NO")==null) {}
						}
					}
				}
			}
		}
	} for(java.util.Scanner scan:new java.util.Scanner[] {new java.util.Scanner(System.in)}) {
			for(int a:new int[]{scan.nextInt()}) { 
				for(int b:new int[]{scan.nextInt()}) { 
					for(int c:new int[]{scan.nextInt()}) { 
						if(a==5&&b==5&&c==7||a==5&&b==7&&c==5||a==7&&b==5&&c==5) {
							if(System.out.printf("%s","YES")==null) {}
						}
						else {
							if(System.out.printf("%s","NO")==null) {}
						}
					}
				}
			}
		} java.util.Scanner scan new java.util.Scanner[] {new java.util.Scanner(System.in)} {
			for(int a:new int[]{scan.nextInt()}) { 
				for(int b:new int[]{scan.nextInt()}) { 
					for(int c:new int[]{scan.nextInt()}) { 
						if(a==5&&b==5&&c==7||a==5&&b==7&&c==5||a==7&&b==5&&c==5) {
							if(System.out.printf("%s","YES")==null) {}
						}
						else {
							if(System.out.printf("%s","NO")==null) {}
						}
					}
				}
			}
		} {
			for(int a:new int[]{scan.nextInt()}) { 
				for(int b:new int[]{scan.nextInt()}) { 
					for(int c:new int[]{scan.nextInt()}) { 
						if(a==5&&b==5&&c==7||a==5&&b==7&&c==5||a==7&&b==5&&c==5) {
							if(System.out.printf("%s","YES")==null) {}
						}
						else {
							if(System.out.printf("%s","NO")==null) {}
						}
					}
				}
			}
		} for(int a:new int[]{scan.nextInt()}) { 
				for(int b:new int[]{scan.nextInt()}) { 
					for(int c:new int[]{scan.nextInt()}) { 
						if(a==5&&b==5&&c==7||a==5&&b==7&&c==5||a==7&&b==5&&c==5) {
							if(System.out.printf("%s","YES")==null) {}
						}
						else {
							if(System.out.printf("%s","NO")==null) {}
						}
					}
				}
			} int a new int[]{scan.nextInt()} { 
				for(int b:new int[]{scan.nextInt()}) { 
					for(int c:new int[]{scan.nextInt()}) { 
						if(a==5&&b==5&&c==7||a==5&&b==7&&c==5||a==7&&b==5&&c==5) {
							if(System.out.printf("%s","YES")==null) {}
						}
						else {
							if(System.out.printf("%s","NO")==null) {}
						}
					}
				}
			} { 
				for(int b:new int[]{scan.nextInt()}) { 
					for(int c:new int[]{scan.nextInt()}) { 
						if(a==5&&b==5&&c==7||a==5&&b==7&&c==5||a==7&&b==5&&c==5) {
							if(System.out.printf("%s","YES")==null) {}
						}
						else {
							if(System.out.printf("%s","NO")==null) {}
						}
					}
				}
			} for(int b:new int[]{scan.nextInt()}) { 
					for(int c:new int[]{scan.nextInt()}) { 
						if(a==5&&b==5&&c==7||a==5&&b==7&&c==5||a==7&&b==5&&c==5) {
							if(System.out.printf("%s","YES")==null) {}
						}
						else {
							if(System.out.printf("%s","NO")==null) {}
						}
					}
				} int b new int[]{scan.nextInt()} { 
					for(int c:new int[]{scan.nextInt()}) { 
						if(a==5&&b==5&&c==7||a==5&&b==7&&c==5||a==7&&b==5&&c==5) {
							if(System.out.printf("%s","YES")==null) {}
						}
						else {
							if(System.out.printf("%s","NO")==null) {}
						}
					}
				} { 
					for(int c:new int[]{scan.nextInt()}) { 
						if(a==5&&b==5&&c==7||a==5&&b==7&&c==5||a==7&&b==5&&c==5) {
							if(System.out.printf("%s","YES")==null) {}
						}
						else {
							if(System.out.printf("%s","NO")==null) {}
						}
					}
				} for(int c:new int[]{scan.nextInt()}) { 
						if(a==5&&b==5&&c==7||a==5&&b==7&&c==5||a==7&&b==5&&c==5) {
							if(System.out.printf("%s","YES")==null) {}
						}
						else {
							if(System.out.printf("%s","NO")==null) {}
						}
					} int c new int[]{scan.nextInt()} { 
						if(a==5&&b==5&&c==7||a==5&&b==7&&c==5||a==7&&b==5&&c==5) {
							if(System.out.printf("%s","YES")==null) {}
						}
						else {
							if(System.out.printf("%s","NO")==null) {}
						}
					} { 
						if(a==5&&b==5&&c==7||a==5&&b==7&&c==5||a==7&&b==5&&c==5) {
							if(System.out.printf("%s","YES")==null) {}
						}
						else {
							if(System.out.printf("%s","NO")==null) {}
						}
					} if(a==5&&b==5&&c==7||a==5&&b==7&&c==5||a==7&&b==5&&c==5) {
							if(System.out.printf("%s","YES")==null) {}
						}
						else {
							if(System.out.printf("%s","NO")==null) {}
						} 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 {
							if(System.out.printf("%s","YES")==null) {}
						} if(System.out.printf("%s","YES")==null) {} System.out.printf("%s","YES")==null System.out.printf("%s","YES") System.out.printf System.out System System.out "%s" "YES" null {} {
							if(System.out.printf("%s","NO")==null) {}
						} if(System.out.printf("%s","NO")==null) {} System.out.printf("%s","NO")==null System.out.printf("%s","NO") System.out.printf System.out System System.out "%s" "NO" null {} String[] args args public class Main {
	public static void main(String[] args) {
		for(java.util.Scanner scan:new java.util.Scanner[] {new java.util.Scanner(System.in)}) {
			for(int a:new int[]{scan.nextInt()}) { 
				for(int b:new int[]{scan.nextInt()}) { 
					for(int c:new int[]{scan.nextInt()}) { 
						if(a==5&&b==5&&c==7||a==5&&b==7&&c==5||a==7&&b==5&&c==5) {
							if(System.out.printf("%s","YES")==null) {}
						}
						else {
							if(System.out.printf("%s","NO")==null) {}
						}
					}
				}
			}
		}
	}
} public class Main {
	public static void main(String[] args) {
		for(java.util.Scanner scan:new java.util.Scanner[] {new java.util.Scanner(System.in)}) {
			for(int a:new int[]{scan.nextInt()}) { 
				for(int b:new int[]{scan.nextInt()}) { 
					for(int c:new int[]{scan.nextInt()}) { 
						if(a==5&&b==5&&c==7||a==5&&b==7&&c==5||a==7&&b==5&&c==5) {
							if(System.out.printf("%s","YES")==null) {}
						}
						else {
							if(System.out.printf("%s","NO")==null) {}
						}
					}
				}
			}
		}
	}
} Main
public class Main {
	public static void main(String[] args) {
		for(java.util.Scanner scan:new java.util.Scanner[] {new java.util.Scanner(System.in)}) {
			for(int a:new int[]{scan.nextInt()}) { 
				for(int b:new int[]{scan.nextInt()}) { 
					for(int c:new int[]{scan.nextInt()}) { 
						if(a==5&&b==5&&c==7||a==5&&b==7&&c==5||a==7&&b==5&&c==5) {
							if(System.out.printf("%s","YES")==null) {}
						}
						else {
							if(System.out.printf("%s","NO")==null) {}
						}
					}
				}
			}
		}
	}
}