Problem:
 Score : 100 points    Problem 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.      Constraints  1≦A,B,C≦10         Input The input is given from Standard Input in the following format:  A  B  C       Output If it is possible to construct a Haiku by using each of the phrases once, print YES (case-sensitive). Otherwise, print NO .        Sample Input 1 5 5 7      Sample Output 1 YES  Using three phrases of length 5 , 5 and 7 , it is possible to construct a Haiku.       Sample Input 2 7 7 5      Sample Output 2 NO

Solution (Python):
val = sorted([int(i) for i in input().split()])

if val[0] == val[1] == 5 and val[2] == 7:
  print("YES")
else:
  print("NO")

Solution (Python):
str_len = list(map(int, input().split()))



num5 = str_len.count(5)
num7 = str_len.count(7)




if num5 == 2 and num7 == 1:
  print('YES')
else:
  print('NO')

Solution (Python):
X = list(input().split())
if X.count("5") == 2 and X.count("7") == 1:
    print("YES")
else:
    print("NO")

Solution (Python):
X = list(input().split())
if X.count("5") == 2 and X.count("7") == 1:
    print("YES")
else:
    print("NO")

Solution (Python):
n = list(map(int,input().split()))
result = [0]*2

for i in n:
    if i == 5:
        result[0] +=1
    if i == 7:
        result[1]+=1
if result[0] ==2 and result[1] ==1:
    print("YES")
else:
    print("NO")

Solution (Python):
input_list = list(map(int, input().split()))
lists = [5,7,5]
try:
  for x in input_list:
    lists.remove(x)
  print("YES")
except ValueError:
  print("NO")

Solution (Python):


lst = list(map(int, input().split()))

if lst[0] == 5:
    if (lst[1] == 7 and lst[2] == 5) or (lst[1] == 5 and lst[2] == 7):
        print("YES")
        exit()

elif lst[0] == 7:
    if lst[1] == 5 and lst[2] == 5:
        print("YES")
        exit()

print("NO")

Solution (Python):
input = input().split(" ")
count5 = input.count("5")
count7 = input.count("7")

if count5 == 2 and count7==1:
  print("YES")
else:
  print("NO")

Solution (Python):
input_st = input().split()
input_num = [int(s) for s in input_st]
num = sorted(input_num)
if num[0] == 5 and num[1] == 5 and num[2] == 7:
    print("YES")
else:
    print("NO")

Solution (Python):
a,b,c=map(int,input().split())
if a==5 and b==5 and c==7:
    print("YES")
elif a==5 and b==7 and c==5:
    print("YES")
elif a==7 and b==5 and c==5:
    print("YES")
else:
    print("NO")

Solution (Python):
a = list(map(int,input().split()))
if a.count(5)==2 and a.count(7)==1:
  print('YES')
else:
  print('NO')

Solution (Python):
S = input()

if S.count('5') == 2 and S.count('7') == 1:
  print('YES')
else:
  print('NO')

Solution (Python):
a=list(map(int,input().split()))

f=0
s=0

for i in range(3):
  if a[i] == 5:
    f += 1
  if a[i] == 7:
    s += 1

if f == 2 and s == 1:
  print("YES")
else:
  print("NO")

Solution (Python):
a=list(map(int,input().split()))
a.sort()
if a[0]==5 and a[1]==5 and a[2]==7:
  print('YES')
else:
  print('NO')

Solution (Python):
S = input()
if S.count('5') == 2 and S.count('7') == 1:
    print('YES')
else:
    print('NO')

Solution (Python):
length = input().split()
if length.count("5") == 2 and length.count("7") == 1:
    print("YES")
else:
    print("NO")

Solution (Python):
from collections import Counter
abc_list = list(map(int,input().split()))
abc_counter = Counter(abc_list)
most_counter = abc_counter.most_common()
if most_counter[0][0] == 5 and most_counter[0][1] == 2:
    if most_counter[1][0] == 7 and most_counter[1][1] == 1:
        print("YES")
    else:
        print("NO")
else:
    print("NO")

Solution (Python):


a_list = [int(x) for x in input().split(' ')]
a_list.sort()

if a_list == [5,5,7]:
  print("YES")
else:
  print("NO")

Solution (Python):
a = input().split()
a.sort()
print("YES" if a[0] == '5' and a[1] == '5' and a[2] == '7' else "NO")

Solution (Python):
a = input()
b = a.count("5")
c = a.count("7")
if b == 2:
    if c == 1:
        print("YES")
else:
    print("NO")

Solution (Python):
l = list(map(int, input().split()))
l.sort()
if l == [5,5,7]:
    print("YES")
else:
    print("NO")

Solution (Python):


a, b, c = map(int, input().split())

five_count = 0
seven_count = 0

def setsu_check(x):
	global five_count, seven_count
	if x == 5:
		five_count+=1
	elif x == 7:
		seven_count+=1

setsu_check(a)
setsu_check(b)
setsu_check(c)
if five_count == 2 and seven_count == 1:
	print("YES")
else:
	print("NO")

Solution (Python):
def main():
    if sorted(input().split()) == ['5','5','7']: print('YES')
    else: print('NO')

if __name__ == '__main__':
    main()

Solution (Python):
L = list(map(int, input().split()))

if L.count(5) == 2 and L.count(7) == 1:
    print("YES")
else:
    print("NO")

Solution (Python):
abc = list(map(int,input().split()))
if abc.count(5)==2 and abc.count(7)==1:
  print("YES")
else:
  print("NO")

Solution (Python):

A, B, C = input().split()
list = [A, B, C]
print("YES" if list.count("5")==2 and list.count("7")==1 else "NO")

Solution (Python):
a, b, c = map(int, input().split())
bunsetsu = [a, b, c]
if bunsetsu.count(5) == 2 and bunsetsu.count(7)==1:
    print('YES')
else:
    print('NO')

Solution (Python):
ABC = input().split()

print('YES' if ABC.count('5') ==2 and ABC.count('7')==1 else 'NO')

Solution (Python):
iroha = list(map(int, input().split()))

ans = [[5, 5, 7], [5, 7, 5], [7, 5, 5]]

if iroha in ans:
    print("YES")
else:
    print("NO")

Solution (Python):
X = list(map(int,input().split()))
X.sort()
print('YES' if X==[5,5,7] else 'NO')

Solution (Python):
a,b,c=map(int,input().split())
LIST=[a,b,c]
go=LIST.count(5)
sichi=LIST.count(7)
if go==2 and sichi==1:
  print("YES")
else:
  print("NO")

Solution (Python):
def canConstructHaiku(arr):
  arr.sort()
  if arr[0] == 5 and arr[1] == 5 and arr[2] == 7:
    return True
  return False
 
arr = list(map(int, input().split()))
print("YES" if canConstructHaiku(arr) else "NO")

Solution (Python):
X=list(map(int,input().split()))
if X.count(5)==2 and X.count(7)==1:
  print("YES")
else:
  print("NO")

Solution (Python):
a = tuple(map(int, input().split()))

a5 = 0
a7 = 0
b = 0
i = 0
while i < 3:
    if a[i] == 5:
        a5 += 1
    elif a[i] == 7:
        a7 += 1
    i += 1

if a5 == 2 and a7 == 1:
    print("YES")
else:
    print("NO")

Solution (Python):


A, B, C = input().split()

lis = [A, B, C]

if lis.count("5") == 2 and lis.count("7") == 1:
    print("YES")
else:
    print("NO")

Solution (Python):

def ABC_42_A():
    A,B,C = map(int, input().split())
    iroha = [0 for i in range(3)]
    iroha = []
    iroha.append(A)
    iroha.append(B)
    iroha.append(C)

    if iroha.count(7)==1 and iroha.count(5)==2:
        print('YES')
    else:
        print('NO')

if __name__ == '__main__':

    ABC_42_A()

Solution (Python):
A,B,C = map(int,input().split())
count7 = 0
count5 = 0

ans = [A,B,C]

for i in ans:
    if i == 7:
        count7 += 1
    elif i == 5:
        count5 += 1

if count7 == 1 and count5 == 2:
    print('YES')
else:
    print('NO')

Solution (Python):
from collections import defaultdict
a = list(map(int, input().split()))
d = defaultdict(lambda: 0)
for v in a:
  d[v] += 1
if d[5] == 2 and d[7] == 1:
  print("YES")
else:
  print("NO")

Solution (Python):
a, b, c = map(int, input().split())
print("YES" if a+b+c == 17 else "NO")

Solution (Python):
W = input().split()
if W.count('5') == 2 or W.count('7') == 1:
    print("YES")
else:
    print("NO")

Solution (Python):
a,b,c = sorted(list(map(int, input().split())))
if a == b == 5 and c == 7:
  print('YES')
else:
  print('NO')

Solution (Python):
arr = list(map(int,input().split()))
if arr.count(5)==2 and arr.count(7)==1:
  print('YES')
else:
  print('NO')

Solution (Python):
l = list(map(int, input().split()))

if l.count(5) == 2 and l.count(7) == 1:
    print("YES")

else:
    print("NO")

Solution (Python):
x = input()
ls_x = x.split()

for i in range(len(ls_x)):
    ls_x[i] = int(ls_x[i])


ct7=0
for i in range(len(ls_x)):
    if ls_x[i]==7:
        ct7 = ct7 + 1


ct5=0    
for i in range(len(ls_x)):
    if ls_x[i]==5:
        ct5 = ct5 + 1
    
if (ct7==1) and (ct5==2):
    print("YES")

else:
    print("NO")

Solution (Python):
a = list(map(int, input().split()))
a.sort()

if a == [5, 5, 7]:
    print('YES')
else:
    print('NO')

Solution (Python):
haiku=list(map(int, input().split())) 
haiku.sort()


print('YES' if haiku[0]==5 and haiku[1]==5 and haiku[2]==7 else 'NO')

Solution (Python):
A, B, C = map(int, input().split())
MC = [A, B, C]
if MC.count(5)==2 and MC.count(7)==1:
  print("YES")
else:
  print("NO")

Solution (Python):
a = eval(input().replace(" ","+"))
if a == 17:print("YES")
else:print("NO")

Solution (Python):
List = [int(i) for i in input().split()]
a = List[0]
b = List[1]
c = List[2]

if a*b*c==175:
    print("YES")
else:
    print("NO")

Solution (Python):
a,b,c=map(int,input().split())
lis5=0
lis7=0
for i in a,b,c:
    if i ==5:
        lis5+=1
    elif i ==7:
        lis7+=1
if lis5==2 and lis7==1:
    print("YES")
else:
    print("NO")

Solution (Python):
l = list(map(int, input().split()))
seven = 0
five = 0
for n in l:
    if n == 7:
        seven += 1
    if n == 5:
        five += 1

if five == 2 and seven == 1:
    print('YES')
else:
    print('NO')

Solution (Python):
S=input();print('YES' if S.count('7')==1 and S.count('5')==2 else 'NO')

Solution (Python):
N = list(map(str, input().split()))
if N.count("5") == 2 and N.count("7") == 1:
  print("YES")
else:
  print("NO")

Solution (Python):
A, B, C = map(int, input().split())

l = [A, B, C]

l = sorted(l)

if l[0] == l[1] == 5 and l[2] == 7:
    print('YES')
else:
    print('NO')

Solution (Python):

l,m,n = map(int,input().split())
cnt = l+m+n 

if cnt == 17:
  print("YES")
else:
  print("NO")

Solution (Python):

def resolve():
    import collections
    count = collections.Counter(list(map(int, input().split())))
    print("YES" if count[5] == 2 and count[7] == 1 else "NO")
    
    


if '__main__' == __name__:
    resolve()

Solution (Python):
a=list(map(int,input().split()))
if sum(a) == 17:
	a.sort()
	if a[0]==5 and a[1]==5:
		print('YES')
	else:
		print('NO')
else:
	print('NO')

Solution (Python):
a = list(map(int,input().split()))
b =0
c =0

for i in range(3):
    if a[i] == 7:
        b += 1
    elif a[i] == 5:
        c += 1

if b == 1 and c == 2:
    print('YES')
else:
    print('NO')

Solution (Python):
n = input().split()
print('YES' if n.count('5') == 2 and n.count('7') == 1 else 'NO')

Solution (Python):
a,b,c=map(int,input().split())
d=[a,b,c]
if d.count(5)==2 and d.count(7)==1:
    print("YES")
else:
    print("NO")

Solution (Python):
A = list(map(str, input().split()))
A7 = 0
A5 = 0
for i in A:
  if i == "7":
    A7 += 1
  elif i == "5":
    A5 += 1

if A5 == 2 and A7 == 1:
  print("YES")
else:
  print("NO")

Solution (Python):
import sys

stdin = sys.stdin
inf = 1 << 60
mod = 1000000007

ni      = lambda: int(ns())
nin     = lambda y: [ni() for _ in range(y)]
na      = lambda: list(map(int, stdin.readline().split()))
nan     = lambda y: [na() for _ in range(y)]
nf      = lambda: float(ns())
nfn     = lambda y: [nf() for _ in range(y)]
nfa     = lambda: list(map(float, stdin.readline().split()))
nfan    = lambda y: [nfa() for _ in range(y)]
ns      = lambda: stdin.readline().rstrip()
nsn     = lambda y: [ns() for _ in range(y)]
ncl     = lambda y: [list(ns()) for _ in range(y)]
nas     = lambda: stdin.readline().split()

a = na()
a.sort()
if a[0] == 5 and a[1] == 5 and a[2] == 7:
    print("YES")
else:
    print("NO")

Solution (Python):
a = list(map(int, input().split()))
if a.count(5) == 2 and a.count(7) == 1:
  print("YES")
else:
  print("NO")

Solution (Python):
a, b, c=map(int, input().split())

if a==7:
  if b==5:
    if c==5:
      res='YES'
    else:
      res='NO'
      
  else:
    res='NO'
    
elif a==5:
  if b==5:
    if c==7:
      res='YES'
    else:
      res='NO'
      
  elif b==7:
    if c==5:
      res='YES'
    else:
      res='NO'
      
else:
  res='NO'
  
print(res)

Solution (Python):
s = list(input().split())
a = s.count("5")
b = s.count("7")
if a == 2 and b == 1:
    print("YES")
else:
    print("NO")

Solution (Python):
print("YES" if sum(map(int, input().split())) == 17 else "NO")

Solution (Python):
abc = list(map(int, input().split()))
if abc.count(5) == 2 and abc.count(7) == 1:
    print('YES')
else:
    print('NO')

Solution (Python):
lis = sorted(input().split())
if lis == ['5', '5', '7']:
    print('YES')
else:
    print('NO')

Solution (Python):
a,b,c=map(int,input().split())
print("YES" if a*b*c==175 else "NO")

Solution (Python):
s = input().split(" ")
if s.count('5') == 2 and s.count('7') == 1:
	print("YES")
else:
	print("NO")

Solution (Python):
a,b,c = map(int,input().split())
print("YES" if (a*b*c==175) else "NO")

Solution (Python):
a,b,c = map(int,input().split())

if a == 5 and b == 5 and c == 7:
  print('YES')
elif a == 5 and b == 7 and c == 5:
  print('YES')
elif a == 7 and b == 5 and c == 5:
  print('YES')
else:
  print('NO')

Solution (Python):
l=input().split()
print("YES" if l.count("5")==2 and l.count("7")==1 else "NO")

Solution (Python):
a = sorted(list(map(int, input().split())))
print('YES' if a[0]==a[1]==5 and a[2]==7 else 'NO')

Solution (Python):
x = input().split()
five = 0
seven = 0
for i in x:
  if i == '5':
    five += 1
  if i == '7':
    seven += 1
if five == 2 and seven == 1:
  print('YES')
else:
  print('NO')

Solution (Python):


A, B, C = map(int, input().split())



if A*B*C == 5*5*7:
    print("YES")
else:
    print("NO")

Solution (Python):
A,B,C = map(int, input().split())
if A+B+C==17:
  if A+B==10 and A==B:
    print("YES")
  elif A+B==12 and A!=B:
    print("YES")
  else:
    print("NO")
else:
  print("NO")

Solution (Python):
a,b,c=(int(x) for x in input().split())

count7=0

if a==7:
    count7=count7+1
if b==7:
    count7=count7+1
if c==7:
    count7=count7+1

if count7==1:
    print("YES")
else:
    print("NO")

Solution (Python):
a=list(map(int,input().split()))


if a.count(5)==2 and a.count(7)==1:
    print('YES')
else:
    print('NO')

Solution (Python):
a,b,c=map(int,input().split())
if (a==5 and b==5 and c==7) or(a==5 and c==5 and b==7) or (c==5 and b==5 and a==7):
  print("YES")
else:
  print("NO")

Solution (Python):

a = list(map(int,input().split()))
if a.count(5) == 2 and a.count(7) == 1:
    print('YES')
else:
    print('NO')

Solution (Python):
numbers = [int(x) for x in input().split()]

if numbers.count(5) == 2 and numbers.count(7) == 1:
    print("YES")
else:print("NO")

Solution (Python):
l = list(map(int, input().split()))
l.sort()
if l[0] == l[1] == 5 and l[2] == 7:
    print('YES')
else:
    print('NO')

Solution (Python):
import sys
import heapq, math
from itertools import zip_longest, permutations, combinations, combinations_with_replacement
from itertools import accumulate, dropwhile, takewhile, groupby
from functools import lru_cache
from copy import deepcopy

A, B, C = sorted(list(map(int, input().split())))

print("YES" if A == B == 5 and C == 7 else "NO")

Solution (Python):
if "7 7" in input():
    print("NO")
else:
    print("YES")

Solution (Python):


def main():
    s = [int(i) for i in input().split()]
    s.sort()
    if s == [5, 5, 7]:
        print("YES")
    else:
        print("NO")
        
main()

Solution (Python):

l = [int(x) for x in input().split(' ')]

if (5 not in l):
  print('NO')

if (7 not in l):
  print('NO')

if (sum(l) == 17):
  print('YES')
else:
  print('NO')

Solution (Python):
import sys
input = sys.stdin.readline
sys.setrecursionlimit(10**7)
from collections import Counter, deque
from collections import defaultdict
from itertools import combinations, permutations, accumulate, groupby, product
from bisect import bisect_left,bisect_right
from heapq import heapify, heappop, heappush
from math import floor, ceil
from operator import itemgetter
def I(): return int(input())
def MI(): return map(int, input().split())
def LI(): return list(map(int, input().split()))
def LI2(): return [int(input()) for i in range(n)]
def MXI(): return [[LI()]for i in range(n)]
inf = 10**17
mod = 10**9 + 7


u=LI()
if u.count(5)==2 and u.count(7)==1:
    print("YES")
else:
    print("NO")

Solution (Python):
s = input().split()
s5 = s.count("5")
s7 = s.count("7")
 
if s5 == 2:
    if s7 == 1:
  	    print("YES")
    else:
        print("NO")
else:
    print("NO")

Solution (Python):
def resolve():
    l=list(map(int, input().split()))
    if l.count(5)==2 and l.count(7)==1:
        print('YES')
    else:
        print('NO')
resolve()

Solution (Python):
def resolve():
    l=list(map(int, input().split()))
    l.sort()
    if l==[5,5,7]:
        print('YES')
    else:
        print('NO')
resolve()

Solution (Python):
def resolve():
    a,b,c=map(int, input().split())
    if a==b==5 and c==7:
        print('YES')
    elif a==c==5 and b==7:
        print('YES')
    elif b==c==5 and a==7:
        print('YES')
    else:
        print('NO')
resolve()

Solution (Python):
a,b,c=(int(x)for x in input().split())
if a==b==5 and c==7:
    print("YES")
elif a==c==5 and b==7:
    print("YES")
elif b==c==5 and a==7:
    print("YES")
else:
    print("NO")

Solution (Python):
l = list(map(int,input().split()))

if l == [5,7,5] or l == [5,5,7] or l == [7,5,5]:
    print("YES")
else: print("NO")

Solution (Python):
a, b, c = map(int, input().split())
if (a == 5 and b == 5) or (a == 5 and c == 5) or (b == 5 and c == 5):
    print("YES")
else:
    print("NO")

Solution (Python):
a, b, c = map(int, input().split())
if (a == 5 and b == 5) or (a == 5 and c == 5) or (b == 5 and c == 5):
    print("YES")
else:
    print("NO")

Solution (Python):
a = [int(i) for i in input().split()]
count5 = 0
count7 = 0
for i in a:
    if i==5:
        count5 += 1
    if i==7:
        count7 += 1
if count5==2 and count7==1:
    print('YES')
else:
    print('NO')

Solution (Python):
nums = list(map(int, input().split()))
print("YES" if nums.count(5) == 2 and nums.count(7) == 1 else "NO")

Solution (Python):
t=sorted(map(int, input().split()))
if t[0]==5 and t[1]==5 and t[2]==7:
  print('YES')
else:
  print('NO')

Solution (Python):
def read_int():
    return int(input().strip())


def read_ints():
    return list(map(int, input().strip().split(' ')))


def solve():
    A, B, C = read_ints()
    if sorted([A, B, C]) == [5, 5, 7]:
        return 'YES'
    return 'NO'


if __name__ == '__main__':
    print(solve())

Solution (Python):
a=[5,5,7]
b=sorted(list(map(int,input().split())))
print("YES" if a==b else "NO")

Solution (Python):
x=list(map(int,input().split()))
x.sort()
print("YES" if x==[5,5,7] else "NO")

Solution (Python):
words = list(input().split())
flag = False

if('5' in words):
 words.remove('5')
 if('7' in words):
  words.remove('7')
  if('5' in words):
   words.remove('5')
   flag =True 

if(flag==True):
 print("YES")
else:
 print("NO")

Solution (Python):
a=[int(x) for x in input().split()]
a.sort()
if a[0]==5 and a[1]==5 and a[2]==7:
  print("YES")
else:
  print("NO")

Solution (Python):
n = sorted(list(map(int, input().split())))
if n[0] == 5 and n[1] == 5 and n[2] == 7:
    print("YES")
else:
    print("NO")

Solution (Python):



line = input().split()
count = 0
for i in line:
    
    if i == "5":
        
        count += 1
        
    elif i == "7":
        count += 2
    else:
        print("NO")
        
if count == 4:
    print("YES")
    
else:
    print("NO")

Solution (Python):
A = list(input().split())
if A.count("5") == 2 and A.count("7") == 1:
    print("YES")
else:
    print("NO")

Solution (Python):
*A, = map(int, input().split())

if A.count(5)==2 and A.count(7):
    print("YES")
else:
    print("NO")

Solution (Python):
x = list(map(int,input().split()))
if x.count(5)<2 or x.count(7)<1:
  print('NO')
else:
  print('YES')

Solution (Python):
A,B,C = map(int, input().split())

if (A == 5 and B == 5 and C == 7) or (A == 5 and B == 7 and C == 5) or (A == 7 and B == 5 and C == 5):
  print('YES')
else:
  print('NO')

Solution (Python):
li = input().split()

if li.count("5") == 2 and li.count("7") == 1:
  print("YES")
else:
  print("NO")

Solution (Python):
a, b, c = map(int,input().split())
at = 0
bt = 0
ct = 0

if a == 5 :
    at += 1
elif a == 7 :
    at += 10

if b == 5 :
    bt += 1
elif b == 7 :
    bt += 10

if c == 5 :
    ct += 1
elif c == 7 :
    ct += 10


if  at + bt + ct == 12 :
    print("YES")

else :
    print("NO")

Solution (Python):
a,b,c = map(int,input().split())
if a+b+c == 17 and min(a,b,c) == 5 and max(a,b,c) == 7:
  print('YES')
else:
  print('NO')

Solution (Python):
a, b, c = input().split()

if (a+b+c).count('5')==2 and (a+b+c).count('7')==1:
  print("YES")
else:
  print("NO")

Solution (Python):
a,b,c=map(int,input().split())
M=[a,b,c]
M.sort()
if M==[5,5,7]:
  print('YES')
else:
  print('NO')

Solution (Python):
lima = 0
tujuh = 0
a = [int(tmp) for  tmp in input().split()]
for i in range(3) :
  if a[i] == 5 :
    lima += 1
  elif a[i] == 7 :
    tujuh += 1
if lima==2 and tujuh == 1 :
  print("YES")
else :
  print('NO')

Solution (Python):
lima = 0
tujuh = 0
a = [int(tmp) for  tmp in input().split()]
for i in range(3) :
  if a[i] == 5 :
    lima += 1
  elif a[i] == 7 :
    tujuh += 1
if lima==2 and tujuh == 1 :
  print("YES")
else :
  print('NO')

Solution (Python):
ln = input().split(' ')
if sorted(ln) == ['5','5','7']:
  print('YES')
else:
  print('NO')

Solution (Python):
import sys

input = sys.stdin.readline


def main():
    A, B, C = map(int, input().split())

    l = [A, B, C]
    l.sort()
    if l[0] == l[1] == 5 and l[2] == 7:
        print("YES")
    else:
        print("NO")


if __name__ == "__main__":
    main()

Solution (Python):
a=[int(i) for i in input().split()]
if a.count(5)==2 and a.count(7)==1:
    print("YES")
else:
    print("NO")

Solution (Python):
s=list(map(int,input().split()))
print('YES' if s.count(5)==2 and s.count(7)==1 else 'NO')

Solution (Python):
if sorted(map(int, input().split())) == [5, 5, 7]:
    print('YES')
else:
    print('NO')

Solution (Python):
a,b,c=map(int,input().split())
n=[a,b,c]
m=len([i for i in n if i==5])
p=len([i for i in n if i==7])
if m==2 and p==1:
  print('YES')
else:
  print('NO')

Solution (Python):
L = sorted(map(int, input().split()))
 
ans = 'YES' if L == [5, 5, 7] else 'NO'
print(ans)

Solution (Python):
A, B, C = map(int, input().split())
if [A, B ,C] == [5,5,7] or [A, B ,C] == [5,7,5] or[A, B ,C] == [7,5,5]:
    print("YES")
else:
    print("NO")

Solution (Python):
L = sorted(map(int, input().split()))

ans = 'YES' if L == [5, 5, 7] else 'NO'
print(ans)

Solution (Python):
a=list(map(int,input().split()))

if a.count(5)==2 and a.count(7)==1:
    print("YES")
else:
    print("NO")

Solution (Python):
a,b,c=map(int,input().split())
if (a==5 and b==5 and c==7) or (a==5 and b==7 and c==5) or (a==7 and b==5 and c==5):
    print("YES")
else:
    print("NO")

Solution (Python):
a = list((int(x) for x in input().split()))
if sum(a) == 17:
  print('YES')
else:
  print('NO')

Solution (Python):
a,b,c=map(int,input().split())
if (a==7 and b==5 and c==5) or (a==5 and b==7 and c==5) or (a==5 and b==5 and c==7):
  print("YES")
else:
  print("NO")

Solution (Python):
a,b,c=map(int,input().split())
n=[a,b,c]
m=len([i for i in n if i==5])
p=len([i for i in n if i==7])
if m==2 and p==1:
  print('YES')
else:
  print('NO')

Solution (Python):
s=input()
if s.count('5')==2 and s.count('7')==1:
  print('YES')
else:
  print('NO')

Solution (Python):
num = list(map(int,input().split()))

if num.count(5) == 2 and num.count(7) == 1:
    print('YES')
else:
    print('NO')

Solution (Python):
L = list(map(int,input().split()))
L.sort()
if L == [5,5,7]:
    print('YES')
else:
    print('NO')

Solution (Python):
C = input().split().count
print("YES" if C("5") == 2 and C("7") == 1 else "NO")

Solution (Python):
def main(input: list):
    possible575 = sorted(input) == [5, 5, 7]
    print("YES" if possible575 else "NO")


input = list(map(int, input().split()))
main(input)

Solution (Python):
s = list(map(int, input().split()))
if s[0] + s[1] + s[2] == 17 and s[0] * s[1] * s[2] == 175:
  print("YES")
else:
  print("NO")

Solution (Python):
li = list(map(int, input().split()))
count5 = 0
count7 = 0
for i in li:
    if i == 5:
        count5 += 1
    elif i == 7:
        count7 += 1
if count5 == 2 and count7 == 1:
    print('YES')
else:
    print('NO')

Solution (Python):
a,b,c,=map(int,input().split())
list=[a,b,c]
list.sort()
if list==[5,5,7]:
  print('YES')
else:
  print('NO')

Solution (Python):
a,b,c,=map(int,input().split())
list1=[a,b,c]
if list1==[5,7,5]:
    print("YES")
elif list1==[7,5,5]:
    print("YES")
elif list1==[5,5,7]:
    print("YES")
else:
    print("NO")

Solution (Python):
a, b, c = map(int, input().split())
Min = min(a, b, c)
Max = max(a, b, c)
other = a + b + c - Min - Max
if Min == 5 and Max == 7 and other == 5:
    print('YES')
else:
    print('NO')

Solution (Python):
a,b,c = map(int,input().split())

if a == 5 and b == 5 and c == 7:
    print("YES")
elif a == 5 and b == 7 and c ==5:
    print("YES")
elif a == 7 and b == 5 and c ==5:
    print("YES")
else:
    print("NO")

Solution (Python):
print("YES"if input()in("5 5 7","5 7 5","7 5 5")else"NO")

Solution (Python):
A,B,C=map(int,input().split())
if A==7 and B==5 and C==5:
    print("YES")
elif A==5 and B==7 and C==5:
    print("YES")
elif A==5 and B==5 and C==7:
    print("YES")
else:
    print("NO")

Solution (Python):
phrases = input().split()


if phrases.count('5') == 2:
    if phrases.count('7') == 1:
        print('YES')
    else:
        print('NO')
else:
    print('NO')

Solution (Python):
list = list(map(int, input().split()))
if list.count(5)==2 and list.count(7)==1:
    print('YES')
else:
    print('NO')

Solution (Python):
a, b, c = map(int, input().split())
if a == 7:
	if b == 5 and c == 5:
		print("YES")
	else:
		print("NO")
elif b == 7:
	if a == 5 and c == 5:
		print("YES")
	else:
		print("NO")
elif c == 7:
	if b == 5 and a == 5:
		print("YES")
	else:
		print("NO")

Solution (Python):
a,b,c = map(int,input().split())

if a == 5 or 7:
    if b == 5 or 7:
        if c == 5or 7:
            if a+b+c == 17:
                print("YES")
                
            else:
                print("NO")

Solution (Python):
a, b, c = map(int, input().split())
if a == 5 and b == 5 and c == 7:
    print('YES')
elif a == 5 and b == 7 and c == 5:
    print('YES')
elif a == 7 and b == 5 and c == 5:
    print('YES')

else:
    print('NO')

Solution (Python):
a,b,c,=map(int,input().split())
list1=[a,b,c]
if list1==[5,7,5]:
    print("YES")
elif list1==[7,5,5]:
    print("YES")
elif list1==[5,5,7]:
    print("YES")
else:
    print("NO")

Solution (Python):
def main():
    import sys
    input = sys.stdin.readline
    sys.setrecursionlimit(10**7)
    from collections import Counter, deque
    
    from itertools import combinations, permutations, accumulate, groupby, product
    from bisect import bisect_left,bisect_right
    from heapq import heapify, heappop, heappush
    from math import floor, ceil
    

    
    

    a = list(map(int, input().split()))
    a.sort()
    if a[0]==5 and a[1]==5 and a[2]==7:
        print('YES')
    else:
        print('NO')

if __name__ == '__main__':
    main()

Solution (Python):
A = list(input())
print("YES" if A.count("5")==2 and A.count("7")==1 else "NO")

Solution (Python):
A,B,C = map(int,input().split())
if A==5 and B==5 and C==7:
    print("YES")
elif A==5 and C==5 and B==7:
    print("YES")
elif C==5 and B==5 and A==7:
    print("YES")
else:
    print("NO")

Solution (Python):
i=input()
if i=="5 7 5" or i=="7 5 5" or i=="5 5 7":
  print("YES")
else:
  print("NO")

Solution (Python):
A,B,C=map(int,input().split())
if A*B*C==(5*5*7) :
  print("YES")
else:
  print("NO")

Solution (Python):
A = input()

if A.count('5') == 2 and A.count('7') == 1:
    print('YES')
else:
    print('NO')

Solution (Python):
A = input()

if A.count('5') == 2 and A.count('7') == 1:
    print('YES')
else:
    print('NO')

Solution (Python):
A = input()

if A.count('5') == 2 and A.count('7') == 1:
    print('YES')
else:
    print('NO')

Solution (Python):
A = input()

if A.count('5') == 2 and A.count('7') == 1:
    print('YES')
else:
    print('NO')

Solution (Python):
Alist = [int(x) for x in input().split()]
newlist = sorted(Alist)

if newlist[0] ==5 and newlist[1] ==5 and newlist[2] ==7:
    print("YES")
else:
    print("NO")

Solution (Python):
l=list(map(int,input().split()))
go=0
na=0
for i in l:
    if i==5:
        go+=1
    elif  i==7:
        na+=1
if go==2 and na==1:
    print("YES")
else:
    print("NO")

Solution (Python):
if sorted(list(map(int,input().split())))==[5,5,7]:
  print('YES')
else:
  print('NO')

Solution (Python):
l=list(map(int,input().split()))
go=0
na=0
for i in l:
    if i==5:
        go+=1
    elif  i==7:
        na+=1
if go==2 and na==1:
    print("YES")
else:
    print("NO")

Solution (Python):
num_list = list(map(int, input().split()))

if num_list.count(5) == 2 and num_list.count(7) == 1:
    print("YES")

else:
    print("NO")

Solution (Python):
arr = list(map(int, input().split()))
arr = sorted(arr)

if arr[0] == 5 and arr[1] == 5 and arr[2] == 7:
  print("YES")
else:
  print("NO")

Solution (Python):
n = list(map(int , input().split()))
if n.count(5) == 2 and n.count(7) == 1:
    print("YES")
else:
    print("NO")

Solution (Python):
array = list(map(int, input().split()))                     
  
array.sort()
 
if array[0] == 5 and array[1] == 5 and array[2] == 7:
    print("YES")
else:
    print("NO")

Solution (Python):
INT_MAX=10**18+7
MOD=10**9+7
def INPUT():return list(int(i) for i in input().split())
def LIST_1D_ARRAY(n):return [0 for _ in range(n)]
def LIST_2D_ARRAY(m,n):return [[0 for _ in range(n)]for _ in range(m)]

a,b,c=INPUT()
string=""
string+=str(a)
string+=str(b)
string+=str(c)
if string=='557' or string=="575" or string=="755":
    print("YES")
else:
    print("NO")

Solution (Python):
a, b ,c = map(int, input().split())

if a == 5 and b == 5 and c == 7:
    print("YES")
elif a == 5 and b == 7 and c == 5:
    print("YES")
elif a == 7 and b == 5 and c == 5:
    print("YES")
else:
    print("NO")

Solution (Python):
N =list(map(int,input().split()))
if N[0]==7 and N[1]==5 and N[2]==5:
    print("YES")
elif  N[0]==5 and N[1]==7 and N[2]==5:
    print("YES")
elif  N[0]==5 and N[1]==5 and N[2]==7:
    print("YES")
else:
    print("NO")

Solution (Python):
s=input().split()
print('YES' if s.count('5')==2 and s.count('7')==1 else 'NO')

Solution (Python):
text = input()

if text.count('5') == 2 and text.count('7') == 1:
    print("YES")
else:
    print("NO")

Solution (Python):
abc = list(map(int,input().split()))

if 5 in abc and 7 in abc and abc.count(7)==1:
  print('YES')
else:
  print('NO')

Solution (Python):
a,b,c=map(int,input().split())
l=[a,b,c]
if set(l)=={5,7} and l.count(7)==1:
    print("YES")
else:
    print("NO")

Solution (Python):
a,b,c=map(int, input().split())
if sum([a,b,c])==17 and max([a,b,c])==7 and min([a,b,c])==5:
  print('YES')
else:
  print('NO')

Solution (Python):
x=list(map(int,input().split()))

if 5 in x:
  x.remove(5)
if 5 in x:
  x.remove(5)
if 7 in x:
  x.remove(7)

if x==[]:
  print("YES")
else:
  print("NO")

Solution (Python):
a = list(map(int, input().split()))
a.sort()
if a[0] == 5 and a[1] == 5 and a[2] == 7:
    print('YES')
else:
    print('NO')

Solution (Python):
a = list(map(int, input().split()))

if a.count(5) == 2 and a.count(7) == 1:
    print('YES')
else:
    print('NO')