import java.util.*;
public class Main {
	public static void main(String[] args){
    	Scanner scanner = new Scanner(System.in);
      
      	int five = 0;
      	int seven = 0;
      
      	for(int i = 0; i < 3; i++) {
        	int number = scanner.nextInt();
          
          	if(number == 5) {
            	five = five + 1;
            } else if(number == 7) {
            	seven = seven + 1;
            }
        }
         
      	if(five == 2 && seven == 1) {
        	System.out.println("YES");
          	return;
        }
          
       	System.out.println("NO");  	
	}
}
 

 
 import java.util.*; util.* java public class Main {
	public static void main(String[] args){
    	Scanner scanner = new Scanner(System.in);
      
      	int five = 0;
      	int seven = 0;
      
      	for(int i = 0; i < 3; i++) {
        	int number = scanner.nextInt();
          
          	if(number == 5) {
            	five = five + 1;
            } else if(number == 7) {
            	seven = seven + 1;
            }
        }
         
      	if(five == 2 && seven == 1) {
        	System.out.println("YES");
          	return;
        }
          
       	System.out.println("NO");  	
	}
} Main public static void main(String[] args){
    	Scanner scanner = new Scanner(System.in);
      
      	int five = 0;
      	int seven = 0;
      
      	for(int i = 0; i < 3; i++) {
        	int number = scanner.nextInt();
          
          	if(number == 5) {
            	five = five + 1;
            } else if(number == 7) {
            	seven = seven + 1;
            }
        }
         
      	if(five == 2 && seven == 1) {
        	System.out.println("YES");
          	return;
        }
          
       	System.out.println("NO");  	
	} main {
    	Scanner scanner = new Scanner(System.in);
      
      	int five = 0;
      	int seven = 0;
      
      	for(int i = 0; i < 3; i++) {
        	int number = scanner.nextInt();
          
          	if(number == 5) {
            	five = five + 1;
            } else if(number == 7) {
            	seven = seven + 1;
            }
        }
         
      	if(five == 2 && seven == 1) {
        	System.out.println("YES");
          	return;
        }
          
       	System.out.println("NO");  	
	} Scanner scanner = new Scanner(System.in); scanner new Scanner(System.in) int five = 0; five 0 int seven = 0; seven 0 for(int i = 0; i < 3; i++) {
        	int number = scanner.nextInt();
          
          	if(number == 5) {
            	five = five + 1;
            } else if(number == 7) {
            	seven = seven + 1;
            }
        } int i = 0; int i = 0; i 0 i < 3 i 3 i++ i++ i {
        	int number = scanner.nextInt();
          
          	if(number == 5) {
            	five = five + 1;
            } else if(number == 7) {
            	seven = seven + 1;
            }
        } {
        	int number = scanner.nextInt();
          
          	if(number == 5) {
            	five = five + 1;
            } else if(number == 7) {
            	seven = seven + 1;
            }
        } int number = scanner.nextInt(); number scanner.nextInt() scanner.nextInt scanner if(number == 5) {
            	five = five + 1;
            } else if(number == 7) {
            	seven = seven + 1;
            } number == 5 number 5 {
            	five = five + 1;
            } five = five + 1 five five + 1 five 1 if(number == 7) {
            	seven = seven + 1;
            } number == 7 number 7 {
            	seven = seven + 1;
            } seven = seven + 1 seven seven + 1 seven 1 if(five == 2 && seven == 1) {
        	System.out.println("YES");
          	return;
        } five == 2 && seven == 1 five == 2 five 2 seven == 1 seven 1 {
        	System.out.println("YES");
          	return;
        } System.out.println("YES") System.out.println System.out System System.out "YES" return; System.out.println("NO") System.out.println System.out System System.out "NO" String[] args args public class Main {
	public static void main(String[] args){
    	Scanner scanner = new Scanner(System.in);
      
      	int five = 0;
      	int seven = 0;
      
      	for(int i = 0; i < 3; i++) {
        	int number = scanner.nextInt();
          
          	if(number == 5) {
            	five = five + 1;
            } else if(number == 7) {
            	seven = seven + 1;
            }
        }
         
      	if(five == 2 && seven == 1) {
        	System.out.println("YES");
          	return;
        }
          
       	System.out.println("NO");  	
	}
} public class Main {
	public static void main(String[] args){
    	Scanner scanner = new Scanner(System.in);
      
      	int five = 0;
      	int seven = 0;
      
      	for(int i = 0; i < 3; i++) {
        	int number = scanner.nextInt();
          
          	if(number == 5) {
            	five = five + 1;
            } else if(number == 7) {
            	seven = seven + 1;
            }
        }
         
      	if(five == 2 && seven == 1) {
        	System.out.println("YES");
          	return;
        }
          
       	System.out.println("NO");  	
	}
} Main
import java.util.*;
public class Main {
	public static void main(String[] args){
    	Scanner scanner = new Scanner(System.in);
      
      	int five = 0;
      	int seven = 0;
      
      	for(int i = 0; i < 3; i++) {
        	int number = scanner.nextInt();
          
          	if(number == 5) {
            	five = five + 1;
            } else if(number == 7) {
            	seven = seven + 1;
            }
        }
         
      	if(five == 2 && seven == 1) {
        	System.out.println("YES");
          	return;
        }
          
       	System.out.println("NO");  	
	}
}
 

 

