defmodule Main do
  def main do
    IO.gets("")
    |> String.trim()
    |> String.split()
    |> Enum.map(&String.to_integer/1)
    |> Enum.sort()
    |> case do
      [5, 5, 7] ->
        "YES"
      _ ->
        "NO"
    end
    |> IO.puts()
  end
end