import java.io.BufferedReader;
import java.io.InputStreamReader;
import java.io.IOException;
import java.util.Arrays;

public class Main {
  public static void main(String[] args) throws IOException {
    BufferedReader in = new BufferedReader(new InputStreamReader(System.in));
    String[] str = in.readLine().split(" ");
    Arrays.sort(str);
    System.out.println(str[0].equals("5") && str[1].equals("5") && str[2].equals("7")?"YES":"NO");
  }
} import java.io.BufferedReader; BufferedReader java.io import java.io.InputStreamReader; InputStreamReader java.io import java.io.IOException; IOException java.io import java.util.Arrays; Arrays java.util public class Main {
  public static void main(String[] args) throws IOException {
    BufferedReader in = new BufferedReader(new InputStreamReader(System.in));
    String[] str = in.readLine().split(" ");
    Arrays.sort(str);
    System.out.println(str[0].equals("5") && str[1].equals("5") && str[2].equals("7")?"YES":"NO");
  }
} Main public static void main(String[] args) throws IOException {
    BufferedReader in = new BufferedReader(new InputStreamReader(System.in));
    String[] str = in.readLine().split(" ");
    Arrays.sort(str);
    System.out.println(str[0].equals("5") && str[1].equals("5") && str[2].equals("7")?"YES":"NO");
  } main {
    BufferedReader in = new BufferedReader(new InputStreamReader(System.in));
    String[] str = in.readLine().split(" ");
    Arrays.sort(str);
    System.out.println(str[0].equals("5") && str[1].equals("5") && str[2].equals("7")?"YES":"NO");
  } BufferedReader in = new BufferedReader(new InputStreamReader(System.in)); in new BufferedReader(new InputStreamReader(System.in)) String[] str = in.readLine().split(" "); str in.readLine().split(" ") in.readLine().split in.readLine() in.readLine in " " Arrays.sort(str) Arrays.sort Arrays str System.out.println(str[0].equals("5") && str[1].equals("5") && str[2].equals("7")?"YES":"NO") System.out.println System.out System System.out str[0].equals("5") && str[1].equals("5") && str[2].equals("7")?"YES":"NO" str[0].equals("5") && str[1].equals("5") && str[2].equals("7") str[0].equals("5") && str[1].equals("5") && str[2].equals("7") str[0].equals("5") str[0].equals str[0] str 0 "5" str[1].equals("5") str[1].equals str[1] str 1 "5" str[2].equals("7") str[2].equals str[2] str 2 "7" "YES" "NO" String[] args args public class Main {
  public static void main(String[] args) throws IOException {
    BufferedReader in = new BufferedReader(new InputStreamReader(System.in));
    String[] str = in.readLine().split(" ");
    Arrays.sort(str);
    System.out.println(str[0].equals("5") && str[1].equals("5") && str[2].equals("7")?"YES":"NO");
  }
} public class Main {
  public static void main(String[] args) throws IOException {
    BufferedReader in = new BufferedReader(new InputStreamReader(System.in));
    String[] str = in.readLine().split(" ");
    Arrays.sort(str);
    System.out.println(str[0].equals("5") && str[1].equals("5") && str[2].equals("7")?"YES":"NO");
  }
} Main
import java.io.BufferedReader;
import java.io.InputStreamReader;
import java.io.IOException;
import java.util.Arrays;

public class Main {
  public static void main(String[] args) throws IOException {
    BufferedReader in = new BufferedReader(new InputStreamReader(System.in));
    String[] str = in.readLine().split(" ");
    Arrays.sort(str);
    System.out.println(str[0].equals("5") && str[1].equals("5") && str[2].equals("7")?"YES":"NO");
  }
}