import java.util.*;
public class Main{
  public static void main(String[] args){
    Scanner sc=new Scanner(System.in);
    int num[]=new int[3];
    int sum=0,max=5,min=7;
    for(int i=0;i<3;i++){
      num[i]=sc.nextInt();
      sum+=num[i];
      max=Math.max(max,num[i]);
      min=Math.min(min,num[i]);
    }    
    if((sum==17)&&(max==7)&&(min==5)){
      System.out.println("YES");
    }else{
      System.out.println("NO");
    }
  }
} import java.util.*; util.* java public class Main{
  public static void main(String[] args){
    Scanner sc=new Scanner(System.in);
    int num[]=new int[3];
    int sum=0,max=5,min=7;
    for(int i=0;i<3;i++){
      num[i]=sc.nextInt();
      sum+=num[i];
      max=Math.max(max,num[i]);
      min=Math.min(min,num[i]);
    }    
    if((sum==17)&&(max==7)&&(min==5)){
      System.out.println("YES");
    }else{
      System.out.println("NO");
    }
  }
} Main public static void main(String[] args){
    Scanner sc=new Scanner(System.in);
    int num[]=new int[3];
    int sum=0,max=5,min=7;
    for(int i=0;i<3;i++){
      num[i]=sc.nextInt();
      sum+=num[i];
      max=Math.max(max,num[i]);
      min=Math.min(min,num[i]);
    }    
    if((sum==17)&&(max==7)&&(min==5)){
      System.out.println("YES");
    }else{
      System.out.println("NO");
    }
  } main {
    Scanner sc=new Scanner(System.in);
    int num[]=new int[3];
    int sum=0,max=5,min=7;
    for(int i=0;i<3;i++){
      num[i]=sc.nextInt();
      sum+=num[i];
      max=Math.max(max,num[i]);
      min=Math.min(min,num[i]);
    }    
    if((sum==17)&&(max==7)&&(min==5)){
      System.out.println("YES");
    }else{
      System.out.println("NO");
    }
  } Scanner sc=new Scanner(System.in); sc new Scanner(System.in) int num[]=new int[3]; num new int[3] 3 int sum=0 sum 0 max=5 max 5 min=7; min 7 for(int i=0;i<3;i++){
      num[i]=sc.nextInt();
      sum+=num[i];
      max=Math.max(max,num[i]);
      min=Math.min(min,num[i]);
    } int i=0; int i=0; i 0 i<3 i 3 i++ i++ i {
      num[i]=sc.nextInt();
      sum+=num[i];
      max=Math.max(max,num[i]);
      min=Math.min(min,num[i]);
    } {
      num[i]=sc.nextInt();
      sum+=num[i];
      max=Math.max(max,num[i]);
      min=Math.min(min,num[i]);
    } num[i]=sc.nextInt() num[i] num i sc.nextInt() sc.nextInt sc sum+=num[i] sum num[i] num i max=Math.max(max,num[i]) max Math.max(max,num[i]) Math.max Math max num[i] num i min=Math.min(min,num[i]) min Math.min(min,num[i]) Math.min Math min num[i] num i if((sum==17)&&(max==7)&&(min==5)){
      System.out.println("YES");
    }else{
      System.out.println("NO");
    } (sum==17)&&(max==7)&&(min==5) (sum==17)&&(max==7)&&(min==5) (sum==17) sum 17 (max==7) max 7 (min==5) min 5 {
      System.out.println("YES");
    } System.out.println("YES") System.out.println System.out System System.out "YES" {
      System.out.println("NO");
    } 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 sc=new Scanner(System.in);
    int num[]=new int[3];
    int sum=0,max=5,min=7;
    for(int i=0;i<3;i++){
      num[i]=sc.nextInt();
      sum+=num[i];
      max=Math.max(max,num[i]);
      min=Math.min(min,num[i]);
    }    
    if((sum==17)&&(max==7)&&(min==5)){
      System.out.println("YES");
    }else{
      System.out.println("NO");
    }
  }
} public class Main{
  public static void main(String[] args){
    Scanner sc=new Scanner(System.in);
    int num[]=new int[3];
    int sum=0,max=5,min=7;
    for(int i=0;i<3;i++){
      num[i]=sc.nextInt();
      sum+=num[i];
      max=Math.max(max,num[i]);
      min=Math.min(min,num[i]);
    }    
    if((sum==17)&&(max==7)&&(min==5)){
      System.out.println("YES");
    }else{
      System.out.println("NO");
    }
  }
} Main
import java.util.*;
public class Main{
  public static void main(String[] args){
    Scanner sc=new Scanner(System.in);
    int num[]=new int[3];
    int sum=0,max=5,min=7;
    for(int i=0;i<3;i++){
      num[i]=sc.nextInt();
      sum+=num[i];
      max=Math.max(max,num[i]);
      min=Math.min(min,num[i]);
    }    
    if((sum==17)&&(max==7)&&(min==5)){
      System.out.println("YES");
    }else{
      System.out.println("NO");
    }
  }
}