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):
a,b,c = (int(x) for x in 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):
def main():
    abc = ''.join(sorted(input().replace(' ', '')))
    print('YES' if abc == '557' else 'NO')


if __name__ == '__main__':
    main()

Solution (Python):
def main():
    abc = ''.join(sorted(input().replace(' ', '')))
    print('YES' if abc == '557' else 'NO')


if __name__ == '__main__':
    main()

Solution (Python):

l = sorted(list(map(int, input().split())))

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

Solution (Python):

l = sorted(list(map(int, input().split())))

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

Solution (Python):
str_line = input().split(" ")
num_line = [int(n) for n in str_line]

num_line.sort()


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

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

Solution (Python):
A, B, C = map(int, input().split())
if min(A, B, C) == 5 and max(A, B, C) == 7 and A + B + C == 17:
  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 and C == 5:
        print("YES")
    else:
        print("NO")

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

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

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

success_cases = [(a[0], a[1], a[2]), (a[1], a[2], a[0]), (a[2], a[0], a[1])]

for c in success_cases:
    if c == (5,7,5):
        print("YES")
        exit(0)
print("NO")

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

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

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

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

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

if arr.count(5) == 2 and arr.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):
ls = [int(s) for s in input().split(" ")]
prels = [[5,7,5],[5,5,7],[7,5,5]]
if ls in prels:
  print("YES")
else :print("NO")

Solution (Python):

l = sorted(list(map(int, input().split())))

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

Solution (Python):
ans = []
A, B, C = map(int, input().split())
ans.append(A)
ans.append(B)
ans.append(C)
if ans.count(5) == 2 and ans.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):
l = list(map(int, input().split()))
l.sort(reverse=True)
if l[0] == 7 and l[1] == 5 and l[2] == 5:
  print('YES')
else:
  print('NO')

Solution (Python):
L = input().split()
print(['NO','YES'][L.count('5')==2 and L.count('7')==1])

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 =map(int,input().split() )
d = a + b + c
e = a * b * c
if(d == 17 and e == 175):
    print("YES")
else:
    print("NO")

Solution (Python):
li = list(map(int, input().split()))
if li.count(5) == 2 and li.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):

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

list.sort()

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

Solution (Python):
print("YES" if "".join(sorted(input().split())) == "557" else "NO")

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

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

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

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

f5 = 0
f7 = 0
for i in s:
    if 5 == i:
        f5 += 1
    if 7 == i:
        f7 += 1
        
if f5 == 2 and f7 == 1:
    print('YES')
else:
    print('NO')

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

Solution (Python):
a = list(str(i) for i in 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()))
cnt = 0

for i in range(3):
         cnt += L[i]
         
if cnt == 17:
         print("YES")

else:
         print("NO")

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

Solution (Python):
h = sorted(list(map(int, input().split())))
if (h[0] == h[1]) and (h[1] != h[2]):
    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):
ABC = list(map(int, input().split()))
if ABC.count(5) == 2 and ABC.count(7):
    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):
X=list(map(int,input().split()))
X.sort(reverse=False)
if X==[5,5,7]:
  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):
s = input()
print("YES" if s.count("5") == 2 and s.count("7") == 1 else "NO")

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

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

length.sort()

if length == [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()))
l.sort()

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

Solution (Python):
a, b, c = map(int, input().split())
ls = [a,b,c]
five = 0
seven = 0
for data in ls:
  if data == 5:
    five += 1
  elif data == 7:
    seven += 1
if five == 2 and seven == 1:
  print('YES')
else:
  print('NO')

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

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

Solution (Python):
a = input()
A = int(a[0])
B = int(a[2])
C = int(a[4])

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

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

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

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

Solution (Python):
num5 = 0
num7 = 0

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

if (a == 5):
    num5 = num5 +1
elif (a == 7):
    num7 = num7 +1

if (b == 5):
    num5 = num5 +1
elif (b == 7):
    num7 = num7 +1

if (c == 5):
    num5 = num5 +1
elif (c == 7):
    num7 = num7 +1

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

Solution (Python):
from sys import stdin, stdout


def main():
    line = stdin.readline()
    parts = line.split()
    a = int(parts[0])
    b = int(parts[1])
    c = int(parts[2])

    count5 = 0
    count7 = 0
    x = 0
    while x < 3:
        if int(parts[x]) == 5:
            count5 += 1
        elif int(parts[x]) == 7:
            count7 += 1
        x += 1

    if count5 == 2 and count7 == 1:
        rta = "YES"
    else:
        rta = "NO"

    stdout.write(rta)



main()

Solution (Python):
from sys import stdin, stdout

def main():
    line = stdin.readline()
    parts = line.split()
    parts.sort()

    stdout.write('YES' if int(parts[0])==5 and int(parts[1])==5 and int(parts[2])==7 else 'NO')

main()

Solution (Python):
from sys import stdin,stdout

def main():
    line=stdin.readline()
    parts=line.split()
    a=int(parts[0])
    b=int(parts[1])
    c= int(parts[2])
    l=[a,b,c]
    l.sort()
    if l[0]==5 and l[1]==5 and l[2]==7:
        stdout.write("YES")
    else:
        stdout.write("NO")
main()

Solution (Python):
from sys import stdin, stdout


def main():
    line = stdin.readline()
    parts = line.split()
    n = int(parts[0])
    countfive = 0
    countseven = 0
    for i in parts:
        if int(i)==5:
            countfive= countfive+1
        if int(i)==7:
            countseven= countseven+1


    stdout.write( "YES" if countfive==2 and countseven == 1 else "NO")


main()

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

D = 0
E = 0

if A == "5":
    D =D + 1

if A == "7":
    E =E + 1

if B == "5":
    D =D + 1

if B == "7":
    E =E + 1

if C == "5":
    D =D + 1

if C == "7":
    E =E + 1

if D == 2 and E == 1:
    print("YES")
else:
    print("NO")

Solution (Python):
a = input().split()
five = a.count('5')
seven = a.count('7')

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

Solution (Python):
import sys

read = sys.stdin.read
readline = sys.stdin.buffer.readline
sys.setrecursionlimit(10 ** 8)
INF = float('inf')
MOD = 10 ** 9 + 7


def main():
    A = list(map(int, readline().split()))
    A.sort()
    if A == [5,5,7]:
        print('YES')
    else:
        print('NO')


if __name__ == '__main__':
    main()

Solution (Python):
L=input().split()
A,B,C=int(L[0]),int(L[1]),int(L[2])
X=[5,7]
ans = []
for i in range(len(X)):
    ans.append([A,B,C].count(X[i]))
if ans == [2,1]:
  print("YES")
else:
  print("NO")

Solution (Python):
a = input().split()
five = a.count('5')
seven = a.count('7')

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

Solution (Python):

def main():
    abc = list(map(int, input().split()))
    c5 = 0
    c7 = 0

    for i in abc:
        if i == 5:
            c5 += 1
        elif i == 7:
            c7 += 1
    else:
        if c5 == 2 and c7 == 1:
            print('YES')
        else:
            print('NO')

            
if __name__ ==  "__main__":
    main()

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

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

Solution (Python):
a,b,c=sorted(input().split())
print(["NO","YES"][a==b=="5" and c=="7"])

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

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

Solution (Python):

def main():
    a, b, c = map(int, input().split())
    if a + b + c == 17:
        print('YES')
    else:
        print('NO')


if __name__ == "__main__":
    main()

Solution (Python):

nums = input().split()
if len(nums)==3 and nums.count('5')==2 and nums.count('7')==1:
    print("YES")
else:
    print("NO")

Solution (Python):
S = input()

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

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

syl2=[5, 5, 7]

if syl == syl2:
	print('YES')
else:
	print('NO')

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

A.sort()
flag=0

if A[0]==5:
    if A[1]==5:
        if A[2]==7:
            print("YES")
            flag+=1

if flag==0:
    print("NO")

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

five = 0
seven = 0

for i in list:
  if i == 5:
    five += 1
  elif i == 7:
    seven += 1
  else:
      pass

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

Solution (Python):
from functools import reduce
A= list(map(int,input().split()))
sum= reduce(lambda a,b : a+b, A)
if(sum==17):
    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(7) == 1 and a.count(5):
    print("YES")
else:
    print("NO")

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

Solution (Python):
lst = list(map(int, input().split()))
slst = sorted(lst)
if slst == [5, 5, 7]:
  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):







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

l.sort()

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

Solution (Python):
a, b, c = list(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):
if __name__ == '__main__':
    a = [int(e) for e in input().split(' ')]
    s = 17
    for e in a:
        if e in [5, 7]:
            s = s - e
    r = 'YES' if s == 0 else 'NO'
    print(r)

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

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

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

if __name__ == '__main__':
    main()

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 == 17):
    print("YES")
else:
    print("NO")

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

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

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

Solution (Python):
s= input()
s = s.split()
s.sort()
if s == ["5","5","7"]:
  print("YES")
else:
  print("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())
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):
input_line = input().split()
if input_line.count("5") == 2 and input_line.count("7") == 1:
	print("YES")
else:
	print("NO")

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

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

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

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

Solution (Python):
A, B, C = map(int, input().split())
S = [0]*3

S[0] = A
S[1] = B
S[2] = C

S.sort()

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

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


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

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

Solution (Python):


def main():
    list = input().split()
    list.sort()
    if ''.join(list) == '557':
        print('YES')
    else:
        print('NO')


if __name__ == '__main__':
    main()

Solution (Python):
def main():
    list = input().split()
    list.sort()
    if ''.join(list) == '557':
        print('YES')
    else:
        print('NO')


if __name__ == '__main__':
    main()

Solution (Python):


def main():
    list = input().split()
    list.sort()
    if ''.join(list) == '557':
        print('YES')
    else:
        print('NO')


if __name__ == '__main__':
    main()

Solution (Python):
tmp = input().split(" ")
print("YES") if tmp.count("5") == 2 and tmp.count("7") == 1 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(str, input().split())
ok = ["575", "557", "755"]
if (a+b+c in ok):
  print("YES")
else:
  print("NO")

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

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

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


if __name__ == "__main__":
    main()

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

Solution (Python):
def test():
  x=input()
  x=x.split()
  if x == ['5','5','7']:
    print("YES")
  elif x == ['5','7','5']:
    print("YES")
  elif x == ['7','5','5']:
    print("YES")
  else:
    print("NO")
    
test()

Solution (Python):
def check():
  A = list(map(int, input().split()))
  if A.count(5)!=2 or A.count(7)!=1:
    return 'NO'
  return 'YES'
print(check())

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):



from fractions import gcd
from itertools import combinations,permutations,accumulate 

from collections import deque,defaultdict,Counter
import decimal
import re












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

def readInts():
  return list(map(int,input().split()))
def I():
  return int(input())
A = Counter(readInts())
print('YES' if A[5] == 2 and A[7] == 1 else 'NO')

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

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

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

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

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

Solution (Python):
n_5 = 0
n_7 = 0

a = map(int, input().split())
for i in a:
    if i == 5:
        n_5 += 1
    elif i == 7:
        n_7 += 1

if n_5 == 2 and n_7 == 1:
    print("YES")
else:
    print("NO")

Solution (Python):
import bisect, collections, copy, heapq, itertools, math, string, sys
input = lambda: sys.stdin.readline().rstrip() 
sys.setrecursionlimit(10**7)
INF = float('inf')
def I(): return int(input())
def F(): return float(input())
def SS(): return input()
def LI(): return [int(x) for x in input().split()]
def LI_(): return [int(x)-1 for x in input().split()]
def LF(): return [float(x) for x in input().split()]
def LSS(): return input().split()

def resolve():
    A, B, C = LI()

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

if __name__ == '__main__':
    resolve()

Solution (Python):
n_5 = 0
n_7 = 0

a = map(int, input().split())
for i in a:
    if i == 5:
        n_5 += 1
    elif i == 7:
        n_7 += 1

if n_5 == 2 and n_7 == 1:
    print("YES")
else:
    print("NO")

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

Solution (Python):
list = input().split()
list.sort()
if ''.join(list) == '557':
  print('YES')
else:
  print('NO')

Solution (Python):
import math
import collections
import fractions
import itertools
import functools
import operator

def solve():
    iroha = list(map(int, input().split()))
    if iroha.count(5)==2 and iroha.count(7)==1:
        print("YES")
    else:
        print("NO")
    return 0

if __name__ == "__main__":
    solve()

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

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

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

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

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

s.sort()

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

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

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


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

Solution (Python):
form = input()
form = form.split()
form.sort()

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

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

d = a + b + c

if d == 17:
  print('YES')
else:
  print('NO')

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

Solution (Python):
true_list = ["5","7","5"]
val = input()
splited_val = val.split()
diff = set(true_list) ^ set(splited_val)

if len(diff) == 0:
    splited_val_int = [int(s) for s in splited_val]
    if sum(splited_val_int) == 17:
        print("YES")
    else:
        print("NO")
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 = 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):
def main():
  a,b,c=map(int,input().split())
  li=[a,b,c]
  if sorted(li)==[5,5,7]:
    print('YES')
  else:
    print('NO')
  
if __name__=="__main__":
  main()

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

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

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

H = [A, B, C]
if H.count(5) == 2 and H.count(7) == 1:
    print('YES')
else:
    print('NO')

Solution (Python):

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

Solution (Python):
xs = list(map(int,input().split()))
print('YES' if xs.count(5)==2 and xs.count(7)==1 else '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,b,c = sorted(map(int, input().split()))
if (a+b+c==17)&(a==b)&(c==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')