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):
i = input()
if i == '5 5 7' or i == '5 7 5' or i == '7 5 5':
	print('YES')
else:
	print('NO')

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

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

Solution (Python):
num  = [int(n) for n in input().rstrip().split()]

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

else:
    print("NO")

Solution (Python):

from collections import defaultdict
from collections import deque
from heapq import heappush, heappop
import sys
import math
import bisect
import random
import itertools
sys.setrecursionlimit(10**5)
stdin = sys.stdin
bisect_left = bisect.bisect_left
bisect_right = bisect.bisect_right
def LI(): return list(map(int, stdin.readline().split()))
def LF(): return list(map(float, stdin.readline().split()))
def LI_(): return list(map(lambda x: int(x)-1, stdin.readline().split()))
def II(): return int(stdin.readline())
def IF(): return float(stdin.readline())
def LS(): return list(map(list, stdin.readline().split()))
def S(): return list(stdin.readline().rstrip())
def IR(n): return [II() for _ in range(n)]
def LIR(n): return [LI() for _ in range(n)]
def FR(n): return [IF() for _ in range(n)]
def LFR(n): return [LI() for _ in range(n)]
def LIR_(n): return [LI_() for _ in range(n)]
def SR(n): return [S() for _ in range(n)]
def LSR(n): return [LS() for _ in range(n)]
mod = 1000000007
inf = float('INF')


def A():
    a = LI()
    a.sort()
    if a == [5, 5, 7]:
        print("YES")
    else:

        print("NO")
    return


def B():
    return


def C():
    return


def D():
    return


def E():
    return


def F():
    return


def G():
    return


def H():
    return


if __name__ == '__main__':
    A()

Solution (Python):
print('YNEOS'[sorted(list(map(int, input().split())))!=[5,5,7]::2])

Solution (Python):
a, b, c=map(int, input().split())
l=[a,b,c]
for i in range(3):
    if l[i]==5:
        del l[i]
        break
s=len(l)
for i in range(s):
    if l[i]==5:
        del l[i]
        break
if l==[7]:
    print('YES')
else:
    print('NO')

Solution (Python):
a, b, c = [int(s) for s in input().split(' ')]

cnt5 = 0
cnt7 = 0
for num in [a, b, c]:
    if num == 5:
        cnt5 += 1
    if num == 7:
        cnt7 += 1

if cnt5 == 2 and cnt7 == 1:
    print('YES')
else:
    print('NO')

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

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

if A[0] == 5:
    if A[1] == 5:
        if A[2] == 7:
            print('YES')
            exit()

print('NO')

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

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

if A == 7 and B == C == 5 :
    print('YES')
elif B == 7 and A == C == 5 :
    print('YES')
elif C == 7 and A == B == 5 :
    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):



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

Solution (Python):
def main():
    s = list(map(int, input().split()))
    fives = 0
    sevens = 0
    for item in s:
        if item == 5: fives += 1
        if item == 7: sevens += 1
    if fives == 2 and sevens == 1:
        print('YES')
    else:
        print('NO')

if __name__ == '__main__':
    main()

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

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

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

Solution (Python):


def solve():
    ABC = list(map(int, input().split()))
    n5 = 0
    n7 = 0
    for n in ABC:
        if n == 5:
            n5 += 1
        elif n == 7:
            n7 += 1
    
    if n5==2 and n7==1:
        print("YES")
    else:
        print("NO")


if __name__ == "__main__":
    solve()

Solution (Python):
f, s = 0, 0
for i in input().split():
    intI = int(i)
    if (intI == 5):
        f += 1
    elif (intI == 7):
        s += 1
    else:
        break
print('YES' if (f == 2 and s == 1) else 'NO')

Solution (Python):
a=[int(x) for x in input().split()]
a.sort()
if a == [5,5,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):
li = list(map(int,input().split()))
li.sort()
res = [5,5,7]
if (li == res):
	print('YES')
else:
	print('NO')

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

Solution (Python):
def haiku(lst):
    w5 = 2
    w7 = 1

    for h in lst:
        if h == '5':
            w5 -= 1

            if w5 < 0:
                return False
        elif h == '7':
            w7 -= 1

            if w7 < 0:
                return False
        else:
            return False

    return True

lst = input().split()

print('YES' if haiku(lst) else 'NO')

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

f5 = 2
f7 = 1

for i in s:
    if(i == 5):
        f5 -= 1
    elif(i == 7):
        f7 -= 1
        
if (f5 == 0 and f7 == 0):
    print("YES")
else:
    print("NO")

Solution (Python):
numbers_list = input().split()
count5 = numbers_list.count('5')
count7 = numbers_list.count('7')
if count5 == 2 and count7 == 1:
  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 B==5 and C==5 and A==7:
  print('YES')
elif C==5 and A==5 and B==7:
  print('YES')
else:
  print('NO')

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

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

i5 = 0
i7 = 0

for i in a:
  if i==5:
    i5+=1
  if i==7:
    i7+=1

if i5==2 and i7==1:
  print("YES")
else:
  print("NO")

Solution (Python):
s = list(map(int, 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())
if((a+b+c)-17 == 0):
	print("YES")
else:
	print("NO")

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

i5 = 0
i7 = 0

for i in a:
    if i == 5:
        i5 += 1
    if i == 7:
        i7 += 1
if i5==2 and i7==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):
list = input().split()
list.sort()
if list == ["5", "5", "7"]:
    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):

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

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

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

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

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

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


count_7 = count_5 = 0
for num in S:
    if num == 5:
        count_5 += 1
    elif num == 7:
        count_7 += 1

if count_5 == 2 and count_7 == 1:
    print('YES')
else:
    print('NO')

Solution (Python):
a = list(map(int, input().split()))
d = 0
for i in range(3):
	if a[i] == 5:	d+=1
	if a[i] == 7:	d+=4
if d==6:	print("YES")
else:		print("NO")

Solution (Python):
syllables = list(map(int, input().split()))
cnt5 = 0
cnt7 = 0
for i in syllables:
    if i == 5:
        cnt5 += 1
    elif i == 7:
        cnt7 += 1
    else:
        print('NO')
if cnt5 == 2 and cnt7 == 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 = list(map(int,input().split()))
if (A.count(5)) == 2 and (A.count(7)) == 1:
  print("YES")
else:
  print("NO")

Solution (Python):
a = input().split(" ")

count_5 = a.count("5")
count_7 = a.count("7")

ans = "NO"

if count_5 == 2:
  if count_7 == 1:
    ans = "YES"
    
print(ans)

Solution (Python):
listInput = list(map(int,input().split()))
count5=0
count7=0
for i in listInput:
    if i==5:
        count5+=1
    if i==7:
        count7+=1
    else:
        continue

if count5==2 and count7==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):
a,b,c = map(int, input().split())
from collections import defaultdict
dic = defaultdict(lambda : 0)
for i in [a,b,c]:
    dic[i] += 1
if dic[5] == 2 and dic[7] == 1:
    print('YES')
else:
    print('NO')

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

flag = False
if a == 7 and b == 5 and c ==5:
    flag = True
if a == 5 and b == 7 and c ==5:
    flag = True
if a == 5 and b == 5 and c ==7:
    flag = True

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

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

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

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

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

S = sum(L)
S2 = S - L[0]
S1 = S2 - L[1]

if S != 17:
    print('NO')
else:
    if S2==10 and S1==5:
        print('YES')
    elif S2==12 and (S1==5 or S1==7):
        print('YES')
    else:
        print('NO')

Solution (Python):
def main():
    bunsetsu = list(map(int, input().split()))
    bunsetsu.sort()

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

if __name__ == "__main__":

    main()

Solution (Python):
a = list(map(int, input().split()))
count5 = 0
count7 = 0
for a in a:
  if a == 5:
    count5 += 1
  elif a == 7:
    count7 += 1

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

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


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

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

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

Solution (Python):
A = list(map(str, 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*B*C == 5*5*7 and A >= 5 and B >= 5 and C >= 5:
  print("YES")
else:
  print("NO")

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

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

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

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

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

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

Solution (Python):
a = list(input().split())
cnt = 0
for i in range(3):
	if a[i] == '5':
		cnt += 1
if cnt == 2:
	print("YES")
else:
	print("NO")

Solution (Python):
def X(A,B,C):
  if A == 5 or A == 7:
    if B == 5 or B == 7:
      if C == 5 or C == 7:
          if A + B + C == 17:
              return "YES"
  return "NO"
A,B,C = map(int, input().split())
print(X(A,B,C))

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

Solution (Python):
nl = lambda: list(map(int, input().split()))
sl = lambda: input().split()
n = lambda: int(input())
s = lambda: input()

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

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

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

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

Solution (Python):
a, b, c = map(int, input().split())
dc = {}
dc[a] = dc.get(a, 0)+1
dc[b] = dc.get(b, 0)+1
dc[c] = dc.get(c, 0)+1
if dc[5] is 2 and dc[7] is 1:
  print('YES')
else:
  print('NO')

Solution (Python):

import copy
import random
import bisect 
import fractions 
import math
import sys

mod = 10**9+7
sys.setrecursionlimit(mod) 

def LI(): return list(map(int, sys.stdin.readline().split()))
def LLI(): return [list(map(int, l.split())) for l in sys.stdin.readlines()]
def LI_(): return [int(x)-1 for x in sys.stdin.readline().split()]
def LF(): return [float(x) for x in sys.stdin.readline().split()]
def LS(): return sys.stdin.readline().split()
def I(): return int(sys.stdin.readline())
def F(): return float(sys.stdin.readline())

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

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

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

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

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

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

cnt_5 = 0
cnt_7 = 0
for s in haiku:
    if s == 5:
        cnt_5 += 1
    elif s == 7:
        cnt_7 += 1
if cnt_5 == 2 and cnt_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):
print('YES' if sorted(input().split()) == ['5', '5', '7'] else 'NO')

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

if x + y + z == 17:
    print("YES")
else:
    print("NO")

Solution (Python):


haiku = input().split()
count_f = 0
count_s = 0
for l in haiku:
    if l == "5":
        count_f += 1
    elif l == "7":
        count_s += 1
if count_f == 2 and count_s == 1:
    print("YES")
else:
    print("NO")

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

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

Solution (Python):
p=input().split()
for i in range(3):
    p[i]=int(p[i])
f,s=2,1
for i in range(3):
    if p[i]==5:
        f-=1
    elif p[i]==7:
        s-=1
if f==s==0:
    print("YES")
else:
    print("NO")

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

Solution (Python):
i = list(map(int, input().split()))
countFive = i.count(5)
countSeven = i.count(7)

if countFive == 2 and countSeven == 1 :
    print("YES")
else :
    print("NO")

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

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

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

Solution (Python):
L = sorted([int(i) for i in input().split()])
if L == [5, 5, 7]:
    print("YES")
else:
    print("NO")

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

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

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

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

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

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

Solution (Python):
n = list(map(int, input().split()))
a = n.count(5)
b = n.count(7)

ans = "NO"

if a == 2 and b == 1:
  ans = "YES"
print(ans)

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

Solution (Python):
numbers = list(map(int,input().split()))
counter1 = 0
counter2 = 0
for i in numbers:
    if i == 5:
        counter1 += 1
    if i == 7:
        counter2 += 1

if counter1 == 2 and counter2 == 1:
    print("YES")
else:
    print("NO")

Solution (Python):
def abc():
    l = ''.join(input().split())
    print('YES' if l.replace('5', '') == '7' else 'NO')


abc()

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

if __name__ =='__main__':
    main()

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

Solution (Python):
ABC=[int(x) for x in input().split()]
ABC.sort()
print('YES' if ABC == [5,5,7] else 'NO')

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

Solution (Python):


ok = [[5, 5, 7], [5, 7, 5], [7, 5, 5]]
stdin = list(map(int, input().split()))
print("YES" if stdin in ok else "NO")

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

Solution (Python):
a = input().split(" ")

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

Solution (Python):
def main():
    l = input().split(' ')
    if l.count('5') ==2 and l.count('7')==1:
        print('YES')

    else:
        print('NO')

if __name__ =='__main__':
    main()

Solution (Python):


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

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

Solution (Python):
s = sorted([int(v) for v in input().split()])
if s == [5, 5, 7]:
  ans = "YES"
else: 
  ans = "NO"
print(ans)

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

Solution (Python):
a, b, c = map(int, raw_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):
arr = input().split()

cnt_5 = 0
cnt_7 = 0
for a in arr:
    if a == '5':
        cnt_5+=1
    elif a == '7':
        cnt_7+=1

if cnt_5 == 2 and cnt_7 == 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):
nums=map(int,input().split())
if sorted(nums) == [5,5,7]:
    print('YES')
else:
    print('NO')

Solution (Python):
A, B, C = [int(x) for x in input().split()]
print('YES') 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) else print('NO')

Solution (Python):
x,y,z=input().split()
if (float(x)*float(y)*float(z)==175):
    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):

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

Solution (Python):
i = list(map(int, input().split()))
count5 = 0
count7 = 0

if i[0] == 5:
    count5 += 1
elif i[0] == 7:
    count7 += 1

if i[1] == 5:
    count5 += 1
elif i[1] == 7:
    count7 += 1

if i[2] == 5:
    count5 += 1
elif i[2] == 7:
    count7 += 1

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

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

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

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

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

Solution (Python):
a=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())
print('YES' if A+B+C == 17 and (A+B == 10 or A+C == 10 or B+C == 10) else 'NO')

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

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

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

Solution (Python):
int = list(map(int, input().split()))
int = sorted(int)
for i in range(1):
    if int[0] == 5:
        if int[1] == 5:
            if int[2] == 7:
                print("YES")
                break
else:
    print("NO")

Solution (Python):
A = list(map(int, input().split()))
A =sorted(A)
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()))	
b = [i for i in a if i==5 or i==7]

c=sum(b)


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

Solution (Python):
a=list(map(int,input().split()))
if 5 in a and 7 in a and sum(a)==17:
  print("YES")
else:
  print("NO")

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

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

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

Solution (Python):
go = list(map(int,input().split()))
if go.count(5) == 2 and go.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):
arr = input().split()
print('YES') if 0 <= arr.count('5') - arr.count('7') <= 1 else print('NO')

Solution (Python):

import sys
def input(): return sys.stdin.readline().rstrip()
def mi(): return map(int, input().split())


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

Solution (Python):
seven = 0
five = 0

A,B,C = map(int,input().split())
if A == 7:
    seven += 1
elif A == 5:
    five += 1
if B == 7:
    seven += 1
elif B == 5:
    five += 1
if C == 7:
    seven += 1
elif C == 5:
    five += 1
    
if seven == 1 or five == 2:
    print("YES")
else:
    print("NO")

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

abc.sort()
if abc == [5, 5, 7]:
  print("YES")
else:
  print("NO")

Solution (Python):
n=list(map(int,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())
print("YES" if (a == b == 5 and c==7) or (b == c == 5 and a==7) or (c == a == 5 and b==7) else "NO")

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

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

Solution (Python):
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")

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()))
a.sort()
if a==[5,5,7]:
    print("YES")
else:
    print("NO")

Solution (Python):
frase = sorted([ int(v) for v in input().split() ])
if frase == [5,5,7]:
  print("YES")
else:
  print("NO")

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

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

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

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

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

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

num5 = num7 = 0
for s in S:
  if s == 5:
    num5 += 1
  if s == 7:
    num7 += 1

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

Solution (Python):
a=list(map(int,input().split()))
a.sort()
print("YNEOS"[a!=[5,5,7]::2])

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

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

Solution (Python):
a, b, c = map(int, input().split())
l = [a, b, c]
if l.count(5) == 2 and l.count(7) == 1:
  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):
a = list(map(int,input().split()))
if a.count(5)==2 and a.count(7)==1:
  print("YES")
else:
  print("NO")

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

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

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

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

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

Solution (Python):
import sys

def judge(numbers):
  if sum(numbers) == 17:
    numbers.sort()
    if numbers[0] == 5 and numbers[0] == numbers[1]:
      return 'YES'

  return 'NO'

  
if __name__ == '__main__':
  numbers_str = input()
  print(judge([int(n) for n in numbers_str.split(' ')]))

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

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

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

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

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

Solution (Python):
x,y,z = input().split()

if(int(x)*int(y)*int(z) == 175):
  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):
length = list(map(int, input().split()))
length.sort()

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

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

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

Solution (Python):
a, b, c = map(int, 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())
if a + b+ c == 17:
	print("YES")
else:
	print("NO")

Solution (Python):
a,b,c = map(int, input().split())
t = [a,b,c]
t = sorted(t)
if t[0] == 5 and t[1] == 5 and t[2] == 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):
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())
if a+b+c==17:
  print("YES")
else:
  print("NO")

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

Solution (Python):
D=list(map(int,input().split()))
F=0
S=0
for d in D:
    if d==5:
        F+=1
    if d==7:
        S+=1
if F==2 and S==1:
    print('YES')
else:
    print('NO')

Solution (Python):


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

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

Solution (Python):
l = [5, 5, 7]

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

for hh in h:
    try:
        l.remove(hh)
    except:
        pass

if len(l) == 0:
    print('YES')
else:
    print('NO')

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

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

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

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

else:
    print("NO")