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):
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):
a,b,c = map(int, input().split())
l = [a,b,c]



count = 0
for i in l:
	if i == 5:
		count += 1
		
		if count == 2:
			break

if any([i == 7 for i in l]) and count == 2:
	print("YES")
else:
	print("NO")

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

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

Solution (Python):

 

list_num = [int(num) for num in input().split()]


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

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

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

Solution (Python):
A, B, C = map(int, input().split())
if A * B * C == 175 and A != 1 and B != 1 and C != 1:
	print('YES')
else:
	print('NO')

Solution (Python):

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

Solution (Python):
a,b,c=map(int,input().split())
if ((a+b==10 and a==5) and c==7) or ((a+b==12 and c==5) and (a==5 or b==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):
def is_575(bunsetsu_list):
    return bunsetsu_list.count(5) == 2 and bunsetsu_list.count(7) == 1
 
 
def main():
  bunsetsu_list = [int(i) for i in input().split()]
  print('YES' if is_575(bunsetsu_list) else 'NO')
  
  
main()

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

Solution (Python):
list = list(map(int,input().split()))
a= list[0]
b=list[1]
c=list[2]
sum=a+b+c
print("YES" if sum==17 else "NO" )

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

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

Solution (Python):
a,b,c = map(int, input().split())
List = sorted([a,b,c])
if List == [5,5,7]:
  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):
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==5*5*7:
    print("YES")
else:
    print("NO")

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

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

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

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

Solution (Python):

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

Solution (Python):
N = list(map(int, input().split()))
c = 0
c2 = 0
for n in N:
    if n == 5:
        c += 1
    elif n == 7:
        c2 += 1
if c == 2 and c2 == 1:
    print('YES')
else:
    print('NO')

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

Solution (Python):
print("YNEOS"["".join(sorted(input()))!="  557"::2])

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

iroha=(A,B,C)

if iroha==(5,7,5) or iroha==(5,5,7) or iroha==(7,5,5):
    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():
	A, B, C = map(int, input().split())
	haiku = False
	if A == 5:
		if (B==5 and C==7) or (B==7 and C==5):
			haiku = True
	else:
		if (B==5 and C==5):
			haiku = True
	if haiku:
		print("YES")
	else:
		print("NO")


if __name__ == '__main__':
	main()

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

Solution (Python):
a, b, c = map(int, input().split())
if (a, b, c) in [(5, 5, 7), (5, 7, 5), (7, 5, 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):
def task_a():
    """
    https://atcoder.jp/contests/abc042/tasks/abc042_a
    """
    a, b, c = map(int, input().split())
    if (a, b, c) in [(5, 5, 7), (5, 7, 5), (7, 5, 5)]:
        print('YES')
    else:
        print('NO')

task_a()

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

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

Solution (Python):
abc = [int(s) for s in input().split()]
count5 = abc.count(5)
count7 = abc.count(7)

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

Solution (Python):
a, b, c= map(int, input().split())
if a+b+c==17 and a*b*c==175:
   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):
if sorted(list(map(int, input().split())))==[5,5,7]:
	print('YES')
else:
	print('NO')

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

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

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

Solution (Python):

NUM = input().rstrip().split(' ')

NUM.sort(key=int,reverse=False)

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

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

print(ans)

Solution (Python):
a=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()))
a.sort()
if a[0] == 5 and a[1] == 5 and a[2] == 7:
  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:
    if a == 7 or b == 7 or c ==7:
        print("YES")
    else:
        print("NO")
else:
    print("NO")

Solution (Python):
n=list(map(int,input().split()))
n.sort()
if n==[5,5,7]:
    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):
from collections import Counter, deque
from fractions import gcd
from functools import lru_cache
from functools import reduce
import functools
import heapq
import itertools
import math
import numpy as np
import sys

sys.setrecursionlimit(10000)
INF = float('inf')


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

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

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

if __name__ == "__main__":
    main()

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):
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):
print("YNEOS"[sorted(map(int,input().split()))!=[5,5,7]::2])

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

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

Solution (Python):

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

    num_5 = 0
    num_7 = 0

    if a == 5:
        num_5 += 1
    if b == 5:
        num_5 += 1
    if c == 5:
        num_5 += 1

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

    if num_5 == 2 and num_7 == 1:
        print('YES')
    else:
        print('NO')

if __name__ == '__main__':
    main()

Solution (Python):
lis = ['5 7 5', '7 5 5', '5 5 7']
s = input()

if s in lis:
  print('YES')
else:
  print('NO')

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

Solution (Python):
a = list(map(int,input().split()))
if sum(a)%17==0 and a.count(5)==2:
    print("YES")
else:
    print("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):
li=list(map(int,input().split()))
print("YES" if sorted(li)==[5,5,7] else "NO")

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

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):
num = list(map(int,input().split()))

sums=0
for i in num:
	sums+=i
  
if sums ==17:
	print("YES")
else:
	print("NO")

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

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

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

if  A >= 1 and A <= 10 and B >= 1 and B <= 10 and C >= 1 and C <= 10 :
  if A == 5 :
    if B == 7 and C == 5 or B == 5 and C == 7 :
      print("YES")
    else :
      print("NO")
  elif A == 7 :
    if B == 5 and C == 5 :
      print("YES")
    else :
      print("NO")
  else :
    print("NO")
else :
  print("NO")

Solution (Python):


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

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

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

Solution (Python):
import sys

def main():
    input = sys.stdin.readline
    A = list(map(int, input().split()))
    A = sorted(A)

    if A[0] == A[1] == 5 and A[2] == 7:
        return 'YES'
    else:
        return 'NO'


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

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

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

Solution (Python):
a = [int(i) for i in 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,b,c=(int(x) for x in input().split())

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

Solution (Python):


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

sen = [A, B, C]
sen.sort()
if sen == [5, 5, 7]:
    print("YES")
else:
    print("NO")

Solution (Python):


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

sen = [A, B, C]
x = max(sen)
y = min(sen)
if x == 7 and y == 5 and sum(sen) - x - y == 5:
    print("YES")
else:
    print("NO")

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

Solution (Python):

data = sorted(list(map(int, input().rstrip().split())))
print("YES" if data == [5, 5, 7] else "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().split()
s.sort()

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

Solution (Python):
a=[int(i) for i in input().split()]
a.sort()
print("YES" if a[0]==a[1]==5 and a[2]==7 else "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):
a = list(map(int, input().split()))
a.sort()
if a == [5, 5, 7]:
    print("YES")
else:
    print("NO")

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

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

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

Solution (Python):
num = list(map(int,input().split()))
cnt_five = 0
cnt_seven = 0
def serch_five(a):
	if a == 5:
		return 1
	else:
		return 0
def serch_seven(a):
	if a == 7:
		return 1
	else:
		return 0

for i in num:
	cnt_five += serch_five(i)
	cnt_seven += serch_seven(i)
if cnt_five == 2 and cnt_seven == 1:
	print("YES")
else:
	print("NO")

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

seven = 0
five = 0

for i in range(3):
    if int(s[i]) == 5:
        five += 1
    if int(s[i]) == 7:
        seven += 1

if(five == 2 and seven == 1):
    print("Yes".upper())
else:
    print("No".upper())

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

five = 0
seven = 0
if A==5:
  five += 1
elif A==7:
  seven += 1
if B==5:
  five += 1
elif B==7:
  seven += 1
if C==5:
  five += 1
elif C==7:
  seven += 1
if five == 2 and seven == 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:
    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, raw_input().split())
if a + b + c == 17:
  print "YES"
else:
  print "NO"

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

Solution (Python):
sList = list(map(int, input().split()))
cnt5 = 0
cnt7 = 0
ansFlg = True
for i in sList:
    if i == 5:
        if cnt5 == 3:
            ansFlg = False
            break
        cnt5 += 1
        continue
    elif i == 7:
        cnt7 += 1
        if cnt7 == 2:
            ansFlg = False
            break
        continue
    else:
        ansFlg = False
        break
if ansFlg:
    print('YES')
else:
    print('NO')

Solution (Python):
from collections import Counter

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

count_dict = Counter(input_line)

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

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

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

Solution (Python):
n, b, c = (int(_) for _ in input().split())
a = [n, b, c]
if a == [5, 7, 5] or a == [5, 5, 7] or a == [7, 5, 5]:
  print("YES")
else:
  print("NO")

Solution (Python):
X, Y, Z = map(int, input().split())
 
num_5 = 0
num_7 = 0
 
if X == 5:
  num_5 += 1
if Y == 5:
  num_5 += 1
if Z == 5:
  num_5 += 1
  
if X == 7:
  num_7 += 1
if Y == 7:
  num_7 += 1
if Z == 7:
  num_7 += 1
  
if num_5 == 2 and num_7 == 1:
    print("YES")
else:
    print("NO")

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

Solution (Python):
from sys import stdin
input=stdin.readline().rstrip().split()
for i in range(len(input)):
  input[i]=int(input[i])

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

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

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

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

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

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

Solution (Python):
a,b,c=map(int,input().split())
arr=[a,b,c]
arr=sorted(arr)
if arr[0]==arr[1]==5 and arr[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 == 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):
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):
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 = sorted([int(i) for i in input().split()])
if a == [5,5,7]:
    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().replace(' ','')
if s=='575' or s=='755' or s=='557':
  print('YES')
else:
  print('NO')

Solution (Python):
list = map(int, input().split())
if sorted(list) == [5, 5, 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):
from sys import stdin
a = stdin.readline().rstrip()
a.count('5')
if a.count('5') == 2:
  print('YES');
else:
  print('NO')

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

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

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

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

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

l = sorted([a,b,c])

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

else:
    print("NO")

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

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

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

Solution (Python):
s=input().split();print('YNEOS'[s.count('7')!=1 or s.count('5')!=2::2])

Solution (Python):
a, b, c = map(int, input().split())
 
x = []
x.append(a)
x.append(b)
x.append(c)
 
y = [5, 7, 5]
for z in y:
    if z in x:
        x.remove(z)
 
if len(x) == 0:
    print('YES')
else:
    print('NO')

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

x = []
x.append(a)
x.append(b)
x.append(c)

y = [5, 7, 5]
for z in y:
    if z in x:
        x.remove(z)

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

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

x = []
x.append(a)
x.append(b)
x.append(c)

if 7 in x:
    x.remove(7)
    if 5 in x:
        x.remove(5)
        if 5 in x:
            print('YES')
            exit()

print('NO')

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

if __name__ == '__main__':
    main()

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

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

if a + b + c == 17:
    if a == 5:
        if b == 5 or b == 7:
            print ("YES")
        else:
            print ("NO")
    elif a == 7:
        if b == 5:
            print ("YES")
        else:
            print ("NO")
    else:
        print ("NO")
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):
S = [int(x) for x in input().split()]
if(S.count(5)==2 and S.count(7)==1):
  print('YES')
else:
  print('NO')

Solution (Python):
def iroha_and_haiku(A: int, B: int, C: int) -> bool:
    return [5, 5, 7] == sorted([A, B, C])


if __name__ == "__main__":
    A, B, C = map(int, input().split())
    yes = iroha_and_haiku(A, B, C)
    print('YES' if yes else 'NO')

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

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

Solution (Python):
a = input().split()
a = [int(i) for i in a]
a = sorted(a)
if(a == [5, 5, 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):
if input() in ('5 5 7', '5 7 5', '7 5 5') :
  print('YES')
else :
  print('NO')

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

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

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

cnt_5 = 0
cnt_7 = 0
for x in [A, B, C]:
    if x == 5:
        cnt_5 += 1
    if x == 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()))
count5=0
count7=0

for i in range(0,3):
  if a[i]==5:
    count5 += 1
  elif a[i]==7:
    count7 += 1
  else:
    i += 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):
A, B, C = map(int, input().split())

arr = [A, B, C]
fives = 0
sevens = 0

for num in arr:
    if num == 5:
        fives += 1
    if num == 7:
        sevens += 1

if fives == 2 and sevens == 1:
    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):
n = input().split()

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

Solution (Python):
a = [int(i) for i in input().split()]
if ((a.count(5) == 2) & (a.count(7) == 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):
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):
haiku = list(input().split())
haiku = [int(i) for i in haiku]
haiku.sort()
if haiku == [5, 5, 7]:
    print('YES')
else:
    print('NO')

Solution (Python):
s = input()

if s == "5 5 7" or s == "5 7 5" or s == "7 5 5":
  print("YES")
else:
  print("NO")

Solution (Python):
s=str(input())
n5=s.count('5')
n7=s.count('7')
if n5==2 and n7==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 = list(map(int,input().split(" ")))

five_cnt = 0
seven_cnt = 0


for i in A :
    if i == 5:
        five_cnt += 1
    if i == 7:
        seven_cnt += 1


if five_cnt == 2 and seven_cnt == 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):
a = [int(x) for x in input().split()]

b = a.count(5)
c = a.count(7)

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

Solution (Python):
from sys import stdin
input = stdin.readline
ABC = [int(x) for x in input().rstrip().split()]
ABC.sort()
if ABC == [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):
A = sorted(list(map(int,input().split())))
print('YES' if (sum(A) == 17) and (A[0]==A[1]==5) else 'NO')

Solution (Python):

from collections import defaultdict
from heapq import heappush, heappop
import sys
import math
import bisect
import random
def LI(): return list(map(int, sys.stdin.readline().split()))
def I(): return int(sys.stdin.readline())
def LS(): return list(map(list, sys.stdin.readline().split()))
def S(): return list(sys.stdin.readline())[:-1]
def IR(n): return [I() for i in range(n)]
def LIR(n): return [LI() for i in range(n)]
def SR(n): return [S() for i in range(n)]
def LSR(n): return [LS() for i in range(n)]
mod = 1000000007



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



"""
def check(n):
    n = list(map(int,list(str(n))))
    s = 0
    for i in n:
        s += f[i]
    return s == 0
n,k = LI()
d = LI()
f = [0 for i in range(10)]
for i in d:
    f[i] = 1
while 1:
    if check(n):
        print(n)
        quit()
    n += 1
"""

"""
def f(x,y):
    return fact[x-1+h-y]*fact[y-1+w-x]*inv_fact[x-1]*inv_fact[y-1]*inv_fact[w-x]*inv_fact[h-y]%mod
h,w,a,b = LI()
fact = [1]*(h+w+1)
for i in range(h+w):
    fact[i+1] = fact[i]*(i+1)%mod
inv_fact = [0]*(h+w+1)
inv_fact[h+w] = pow(fact[-1],mod-2,mod)
for i in range(h+w)[::-1]:
    inv_fact[i] = inv_fact[i+1]*(i+1)%mod
ans = 0
for i in range(1,min(w-b,h-a)+1):
    ans += f(b+i,a+i)
    ans %= mod
print(ans)
"""

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

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

Solution (Python):
from functools import reduce

def main():
    
    
    
    
    

    
    
    slist = input().rstrip().split(' ')
    if slist[0] == '5' and slist [1] == '5' and slist[2] == '7':
        print('YES')
    elif slist[0] == '5' and slist [1] == '7' and slist[2] == '5':
        print('YES')
    elif slist[0] == '7' and slist [1] == '5' and slist[2] == '5':
        print('YES')
    else:
        print('NO')
        
if __name__ == '__main__':
    main()

Solution (Python):

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

  if a+b+c == 17:
    s = list(set([a,b,c]))

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

if __name__=='__main__':main()

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

Solution (Python):

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


if sorted(line) == [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):
A, B, C = map(int, input().split())

sample = [A, B, C]

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

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

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

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

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

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):
ABC = input().split()

if ABC.count('5') == 2 and ABC.count('7') == 1:
    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):
A, B, C = list(map(int, input().split()))

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

Solution (Python):
a=list(map(int,input().split()))
print("YES"if set(a)=={5,7} and sum(a)==17 else "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):
def main():
    X = list(map(int, input().split()))
    X.sort()
    if X == [5, 5, 7]:
        print("YES")
    else:
        print("NO")


if __name__ == "__main__":
    main()