import java.util.*;

public class Main {

  public static void main(String[] args) {
    Main m = new Main();
    m.exec();
  }

  private void exec() {
    Scanner scan = new Scanner(System.in);
	int count5 = 0;
    int count7 = 0;
    for (int i = 0; i < 3; i++) {
      switch (scan.nextInt()) {
        case 5:
          count5++;
          break;
        case 7:
          count7++;
          break;
        default:
      }
    }
    if (count5 == 2 && count7 == 1) {
      System.out.println("YES");
    } else {
      System.out.println("NO");
    }

    scan.close();
  }
} import java.util.*; util.* java public class Main {

  public static void main(String[] args) {
    Main m = new Main();
    m.exec();
  }

  private void exec() {
    Scanner scan = new Scanner(System.in);
	int count5 = 0;
    int count7 = 0;
    for (int i = 0; i < 3; i++) {
      switch (scan.nextInt()) {
        case 5:
          count5++;
          break;
        case 7:
          count7++;
          break;
        default:
      }
    }
    if (count5 == 2 && count7 == 1) {
      System.out.println("YES");
    } else {
      System.out.println("NO");
    }

    scan.close();
  }
} Main public static void main(String[] args) {
    Main m = new Main();
    m.exec();
  } main {
    Main m = new Main();
    m.exec();
  } Main m = new Main(); m new Main() m.exec() m.exec m String[] args args private void exec() {
    Scanner scan = new Scanner(System.in);
	int count5 = 0;
    int count7 = 0;
    for (int i = 0; i < 3; i++) {
      switch (scan.nextInt()) {
        case 5:
          count5++;
          break;
        case 7:
          count7++;
          break;
        default:
      }
    }
    if (count5 == 2 && count7 == 1) {
      System.out.println("YES");
    } else {
      System.out.println("NO");
    }

    scan.close();
  } exec {
    Scanner scan = new Scanner(System.in);
	int count5 = 0;
    int count7 = 0;
    for (int i = 0; i < 3; i++) {
      switch (scan.nextInt()) {
        case 5:
          count5++;
          break;
        case 7:
          count7++;
          break;
        default:
      }
    }
    if (count5 == 2 && count7 == 1) {
      System.out.println("YES");
    } else {
      System.out.println("NO");
    }

    scan.close();
  } Scanner scan = new Scanner(System.in); scan new Scanner(System.in) int count5 = 0; count5 0 int count7 = 0; count7 0 for (int i = 0; i < 3; i++) {
      switch (scan.nextInt()) {
        case 5:
          count5++;
          break;
        case 7:
          count7++;
          break;
        default:
      }
    } int i = 0; int i = 0; i 0 i < 3 i 3 i++ i++ i {
      switch (scan.nextInt()) {
        case 5:
          count5++;
          break;
        case 7:
          count7++;
          break;
        default:
      }
    } {
      switch (scan.nextInt()) {
        case 5:
          count5++;
          break;
        case 7:
          count7++;
          break;
        default:
      }
    } switch (scan.nextInt()) {
        case 5:
          count5++;
          break;
        case 7:
          count7++;
          break;
        default:
      } scan.nextInt() scan.nextInt scan case 5: 5 case 5: count5++ count5 break; case 7: 7 case 7: count7++ count7 break; default: default: if (count5 == 2 && count7 == 1) {
      System.out.println("YES");
    } else {
      System.out.println("NO");
    } count5 == 2 && count7 == 1 count5 == 2 count5 2 count7 == 1 count7 1 {
      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" scan.close() scan.close scan public class Main {

  public static void main(String[] args) {
    Main m = new Main();
    m.exec();
  }

  private void exec() {
    Scanner scan = new Scanner(System.in);
	int count5 = 0;
    int count7 = 0;
    for (int i = 0; i < 3; i++) {
      switch (scan.nextInt()) {
        case 5:
          count5++;
          break;
        case 7:
          count7++;
          break;
        default:
      }
    }
    if (count5 == 2 && count7 == 1) {
      System.out.println("YES");
    } else {
      System.out.println("NO");
    }

    scan.close();
  }
} public class Main {

  public static void main(String[] args) {
    Main m = new Main();
    m.exec();
  }

  private void exec() {
    Scanner scan = new Scanner(System.in);
	int count5 = 0;
    int count7 = 0;
    for (int i = 0; i < 3; i++) {
      switch (scan.nextInt()) {
        case 5:
          count5++;
          break;
        case 7:
          count7++;
          break;
        default:
      }
    }
    if (count5 == 2 && count7 == 1) {
      System.out.println("YES");
    } else {
      System.out.println("NO");
    }

    scan.close();
  }
} Main
import java.util.*;

public class Main {

  public static void main(String[] args) {
    Main m = new Main();
    m.exec();
  }

  private void exec() {
    Scanner scan = new Scanner(System.in);
	int count5 = 0;
    int count7 = 0;
    for (int i = 0; i < 3; i++) {
      switch (scan.nextInt()) {
        case 5:
          count5++;
          break;
        case 7:
          count7++;
          break;
        default:
      }
    }
    if (count5 == 2 && count7 == 1) {
      System.out.println("YES");
    } else {
      System.out.println("NO");
    }

    scan.close();
  }
}