import java.util.*;
class Main{
  public static void main(String[] arg){
    Scanner stdIn=new Scanner(System.in);
    int A=stdIn.nextInt();
    int B=stdIn.nextInt();
    int C=stdIn.nextInt();
    int max=Math.max(A,Math.max(B,C));
    int min=Math.min(A,Math.min(B,C));
    if(A+B+C==17&&max==7&&min==5){
    	System.out.println("YES");
    }else{
      System.out.println("NO");
    }
  }
}
     import java.util.*; util.* java class Main{
  public static void main(String[] arg){
    Scanner stdIn=new Scanner(System.in);
    int A=stdIn.nextInt();
    int B=stdIn.nextInt();
    int C=stdIn.nextInt();
    int max=Math.max(A,Math.max(B,C));
    int min=Math.min(A,Math.min(B,C));
    if(A+B+C==17&&max==7&&min==5){
    	System.out.println("YES");
    }else{
      System.out.println("NO");
    }
  }
} Main public static void main(String[] arg){
    Scanner stdIn=new Scanner(System.in);
    int A=stdIn.nextInt();
    int B=stdIn.nextInt();
    int C=stdIn.nextInt();
    int max=Math.max(A,Math.max(B,C));
    int min=Math.min(A,Math.min(B,C));
    if(A+B+C==17&&max==7&&min==5){
    	System.out.println("YES");
    }else{
      System.out.println("NO");
    }
  } main {
    Scanner stdIn=new Scanner(System.in);
    int A=stdIn.nextInt();
    int B=stdIn.nextInt();
    int C=stdIn.nextInt();
    int max=Math.max(A,Math.max(B,C));
    int min=Math.min(A,Math.min(B,C));
    if(A+B+C==17&&max==7&&min==5){
    	System.out.println("YES");
    }else{
      System.out.println("NO");
    }
  } Scanner stdIn=new Scanner(System.in); stdIn new Scanner(System.in) int A=stdIn.nextInt(); A stdIn.nextInt() stdIn.nextInt stdIn int B=stdIn.nextInt(); B stdIn.nextInt() stdIn.nextInt stdIn int C=stdIn.nextInt(); C stdIn.nextInt() stdIn.nextInt stdIn int max=Math.max(A,Math.max(B,C)); max Math.max(A,Math.max(B,C)) Math.max Math A Math.max(B,C) Math.max Math B C int min=Math.min(A,Math.min(B,C)); min Math.min(A,Math.min(B,C)) Math.min Math A Math.min(B,C) Math.min Math B C if(A+B+C==17&&max==7&&min==5){
    	System.out.println("YES");
    }else{
      System.out.println("NO");
    } A+B+C==17&&max==7&&min==5 A+B+C==17&&max==7&&min==5 A+B+C==17 A+B+C A+B+C A B C 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[] arg arg
import java.util.*;
class Main{
  public static void main(String[] arg){
    Scanner stdIn=new Scanner(System.in);
    int A=stdIn.nextInt();
    int B=stdIn.nextInt();
    int C=stdIn.nextInt();
    int max=Math.max(A,Math.max(B,C));
    int min=Math.min(A,Math.min(B,C));
    if(A+B+C==17&&max==7&&min==5){
    	System.out.println("YES");
    }else{
      System.out.println("NO");
    }
  }
}
    