import java.util.Scanner;

public class Main {
  public static void main(String[] args) {
    final Scanner scanner = new Scanner(System.in);

    final int i0 = scanner.nextInt();
    final int i1 = scanner.nextInt();
    final int i2 = scanner.nextInt();

    if (Math.min(i0, Math.min(i1, i2)) == 5 &&
        Math.max(i0, Math.max(i1, i2)) == 7 &&
        i0 + i1 + i2 == 17) {
      System.out.println("YES");
    } else {
      System.out.println("NO");
    }
  }
} import java.util.Scanner; Scanner java.util public class Main {
  public static void main(String[] args) {
    final Scanner scanner = new Scanner(System.in);

    final int i0 = scanner.nextInt();
    final int i1 = scanner.nextInt();
    final int i2 = scanner.nextInt();

    if (Math.min(i0, Math.min(i1, i2)) == 5 &&
        Math.max(i0, Math.max(i1, i2)) == 7 &&
        i0 + i1 + i2 == 17) {
      System.out.println("YES");
    } else {
      System.out.println("NO");
    }
  }
} Main public static void main(String[] args) {
    final Scanner scanner = new Scanner(System.in);

    final int i0 = scanner.nextInt();
    final int i1 = scanner.nextInt();
    final int i2 = scanner.nextInt();

    if (Math.min(i0, Math.min(i1, i2)) == 5 &&
        Math.max(i0, Math.max(i1, i2)) == 7 &&
        i0 + i1 + i2 == 17) {
      System.out.println("YES");
    } else {
      System.out.println("NO");
    }
  } main {
    final Scanner scanner = new Scanner(System.in);

    final int i0 = scanner.nextInt();
    final int i1 = scanner.nextInt();
    final int i2 = scanner.nextInt();

    if (Math.min(i0, Math.min(i1, i2)) == 5 &&
        Math.max(i0, Math.max(i1, i2)) == 7 &&
        i0 + i1 + i2 == 17) {
      System.out.println("YES");
    } else {
      System.out.println("NO");
    }
  } final Scanner scanner = new Scanner(System.in); scanner new Scanner(System.in) final int i0 = scanner.nextInt(); i0 scanner.nextInt() scanner.nextInt scanner final int i1 = scanner.nextInt(); i1 scanner.nextInt() scanner.nextInt scanner final int i2 = scanner.nextInt(); i2 scanner.nextInt() scanner.nextInt scanner if (Math.min(i0, Math.min(i1, i2)) == 5 &&
        Math.max(i0, Math.max(i1, i2)) == 7 &&
        i0 + i1 + i2 == 17) {
      System.out.println("YES");
    } else {
      System.out.println("NO");
    } Math.min(i0, Math.min(i1, i2)) == 5 &&
        Math.max(i0, Math.max(i1, i2)) == 7 &&
        i0 + i1 + i2 == 17 Math.min(i0, Math.min(i1, i2)) == 5 &&
        Math.max(i0, Math.max(i1, i2)) == 7 &&
        i0 + i1 + i2 == 17 Math.min(i0, Math.min(i1, i2)) == 5 Math.min(i0, Math.min(i1, i2)) Math.min Math i0 Math.min(i1, i2) Math.min Math i1 i2 5 Math.max(i0, Math.max(i1, i2)) == 7 Math.max(i0, Math.max(i1, i2)) Math.max Math i0 Math.max(i1, i2) Math.max Math i1 i2 7 i0 + i1 + i2 == 17 i0 + i1 + i2 i0 + i1 + i2 i0 i1 i2 17 {
      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) {
    final Scanner scanner = new Scanner(System.in);

    final int i0 = scanner.nextInt();
    final int i1 = scanner.nextInt();
    final int i2 = scanner.nextInt();

    if (Math.min(i0, Math.min(i1, i2)) == 5 &&
        Math.max(i0, Math.max(i1, i2)) == 7 &&
        i0 + i1 + i2 == 17) {
      System.out.println("YES");
    } else {
      System.out.println("NO");
    }
  }
} public class Main {
  public static void main(String[] args) {
    final Scanner scanner = new Scanner(System.in);

    final int i0 = scanner.nextInt();
    final int i1 = scanner.nextInt();
    final int i2 = scanner.nextInt();

    if (Math.min(i0, Math.min(i1, i2)) == 5 &&
        Math.max(i0, Math.max(i1, i2)) == 7 &&
        i0 + i1 + i2 == 17) {
      System.out.println("YES");
    } else {
      System.out.println("NO");
    }
  }
} Main
import java.util.Scanner;

public class Main {
  public static void main(String[] args) {
    final Scanner scanner = new Scanner(System.in);

    final int i0 = scanner.nextInt();
    final int i1 = scanner.nextInt();
    final int i2 = scanner.nextInt();

    if (Math.min(i0, Math.min(i1, i2)) == 5 &&
        Math.max(i0, Math.max(i1, i2)) == 7 &&
        i0 + i1 + i2 == 17) {
      System.out.println("YES");
    } else {
      System.out.println("NO");
    }
  }
}