output_description: If it is possible to construct a Haiku by using each of the phrases once,
  print `YES` (case-sensitive). Otherwise, print `NO`.
  
  * * *
input_description: The input is given from Standard Input in the following format:
  
      
      
      A B C
attempt: from sys import stdin, stdout
  
  import bisect
  
  import math
  
  
  def st():
      return list(stdin.readline().strip())
  
  
  def inp():
      return int(stdin.readline())
  
  
  def li():
      return list(map(int, stdin.readline().split()))
  
  
  def mp():
      return map(int, stdin.readline().split())
  
  
  def pr(n):
      stdout.write(str(n) + "\n")
  
  
  def soe(limit):
      l = [1] * (limit + 1)
      prime = []
      for i in range(2, limit + 1):
          if l[i]:
              for j in range(i * i, limit + 1, i):
                  l[j] = 0
  
      for i in range(2, limit + 1):
          if l[i]:
              prime.append(i)
      return prime
  
  
  def segsoe(low, high):
      limit = int(high**0.5) + 1
      prime = soe(limit)
      n = high - low + 1
      l = [0] * (n + 1)
      for i in range(len(prime)):
          lowlimit = (low // prime[i]) * prime[i]
          if lowlimit < low:
              lowlimit += prime[i]
          if lowlimit == prime[i]:
              lowlimit += prime[i]
          for j in range(lowlimit, high + 1, prime[i]):
              l[j - low] = 1
      for i in range(low, high + 1):
          if not l[i - low]:
              if i != 1:
                  print(i)
  
  
  def gcd(a, b):
      while b:
          a = a % b
          b, a = a, b
      return a
  
  
  def power(a, n):
      r = 1
      while n:
          if n & 1:
              r = r * a
          a *= a
          n = n >> 1
      return r
  
  
  def solve():
      l = li()
      l.sort()
      if l == [5, 5, 7]:
          pr("YES")
      else:
          pr("NO")
  
  
  for _ in range(1):
      solve()
  
problem_description: Statement
  
  Iroha loves _Haiku_. Haiku is a short form of Japanese poetry. A Haiku
  consists of three phrases with 5, 7 and 5 syllables, in this order.
  
  To create a Haiku, Iroha has come up with three different phrases. These
  phrases have A, B and C syllables, respectively. Determine whether she can
  construct a Haiku by using each of the phrases once, in some order.
samples: [{"input": "5 5 7", "output": "YES\n    \n\nUsing three phrases of length 5, 5 and 7, it is possible to construct a Haiku.\n\n* * *"}, {"input": "7 7 5", "output": "NO"}]