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

count_5 = 0
count_7 = 0

if a == 5:
    count_5 += 1
elif a == 7:
    count_7 += 1

if b == 5:
    count_5 += 1
elif b == 7:
    count_7 += 1

if c == 5:
    count_5 += 1
elif c == 7:
    count_7 += 1

if count_5 == 2 and count_7 == 1:
    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):
S = list(map(int, input().split()))
S.sort()
if S == [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):
l = list(map(int, input().split()))
l.sort()
if l == [5, 5, 7]:
    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):
a = [int(x) for x in input().split()]

if a.count(7) == 1 and a.count(5) == 2 and len(a) == 3:
  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):
haiku = input().split()
five = haiku.count("5")
seven = haiku.count("7")
if five ==2 and seven ==1:
  print("YES")
else:
  print("NO")

Solution (Python):
A = input().split(" ")
A = [int(a) for a in A]

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

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

Solution (Python):
import sys

input_methods=['clipboard','file','key']
using_method=0
input_method=input_methods[using_method]

IN=lambda : map(int, input().split())
mod=1000000007



def main():
	
	al = list(IN())
	
	al.sort()
	return 'YES' if al == [5,5,7] else 'NO'
	
	
	

isTest=False

def pa(v):
	if isTest:
		print(v)
		
def input_clipboard():
	import clipboard
	input_text=clipboard.get()
	input_l=input_text.splitlines()
	for l in input_l:
		yield l

if __name__ == "__main__":
	if sys.platform =='ios':
		if input_method==input_methods[0]:
			ic=input_clipboard()
			input = lambda : ic.__next__()
		elif input_method==input_methods[1]:
			sys.stdin=open('inputFile.txt')
		else:
			pass
		isTest=True
	else:
		pass
		
			
	ret = main()
	if ret is not None:
		print(ret)

Solution (Python):
def irohachan(A,B,C):
    if  (A == 5 or A ==7) and (B == 5 or B ==7) and (C == 5 or C ==7) and (A+B+C ==17):
        print("YES")
    else:
        print("NO")

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

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, B, C = map(int, input().split())
List = [A, B, C]
if List.count(5) == 2 and List.count(7) == 1:
 print("YES")
else: 
 print("NO")

Solution (Python):
l = list(map(int,input().split()))
go = 0
shichi = 0
for i in range(3):
  if l[i] == 5:
    go += 1
for i in range(3):
  if l[i] == 7:
    shichi += 1
if go == 2 and shichi ==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):
lst=list(map(int,input().split()))
if 7 in lst:
  lst.remove(5)
else:
    ans='NO'
if 5 in lst:
  lst.remove(7)
else:
    ans='NO'
if 5 in lst:
  ans='YES'
print(ans)

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

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

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

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

Solution (Python):

example = ('5', '7', '5')
five = 0
seven = 0
ipt = []
s = input()
s = s.split()

for i in s:
    if i == '5':
        five += 1
    elif i == '7':
        seven += 1

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

Solution (Python):
import collections, math, bisect, re

local = False
if local:
    file = open("input.txt", "r")
    import time

def inp():
    if local:
        return file.readline().rstrip()
    else:
        return input().rstrip()

def ints():
    return [int(_) for _ in inp().split()]


if local:
    start=time.time()


phrases = ints()

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



if local:
    fin = (time.time()-start)*1000
    print("{:.2f}".format(fin) + "ms")

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

ans5 = 0
ans7 = 0
for i in range(3):
  if (a[i] == 5):
    ans5 += 1
  elif (a[i] == 7):
    ans7 += 1

if (ans5 == 2 and ans7 == 1):
  print("YES")
else:
  print("NO")

Solution (Python):
def ispossible(list1):
  if list1.count("5") == 2 and list1.count("7") == 1:
    return "YES"
  else:
    return "NO"

list1 = input().split()
print(ispossible(list1))

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

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

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

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

Solution (Python):
a, b, c = map(str, input().split())
N = a + b + c
if N == "557" or N == "575" or N == "755":
    print("YES")
else:
    print("NO")

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

Solution (Python):
a = input().split(" ")
for i in range(3):
    a[i] = int(a[i])

if sorted(a) == [5, 5, 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,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())
if a == 7:
    if b==5 and c ==5:
        print ("YES")
    else:
        print ("NO")
elif b != 7 and c !=7:
    print ("NO1")
elif b ==7:
    if a==5 and c ==5:
        print ("YES")
    else:
        print ("NO")
elif a==5 and b ==5:
    print ("YES")
else:
    print ("NO")

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

def haiku(a,b,c):
	suming = a+b+c
	if suming == 17:
		print("YES")
	else:
		print("NO")
	 
	
haiku(a,b,c)

Solution (Python):

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


if __name__ == "__main__":
    resolve()

Solution (Python):
def resolve():
	x, y, z = map(int, input().split())
	if x + y + z == 17:
		print("YES")
	else:
		print("NO")

resolve()

Solution (Python):
icase=42

if icase==42:
    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 = 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 == 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 prod(ls):
    def resolve(ls, a):
        if len(ls) == 1:
            return a*ls[0]
        else:
            car = ls[0]
            ls = ls[1:]
            return resolve(ls, a*car)
    return resolve(ls, 1)

ls = list(map(int, input().split()))
if sum(ls) == 17 and prod(ls) == 175:
    print("YES")
else :
    print("NO")

Solution (Python):
a=list((input()))
print('YES' if a.count(('5'))==2 and a.count(('7'))==1 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):
A, B, C = [int(i) for i in input().split(' ')]

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

l = [a, b, c]

l.sort()

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

Solution (Python):
def main():
    l = [int(a) for a in input().split()]

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

Solution (Python):
import sys
import os
import math

ii = lambda: int(sys.stdin.buffer.readline().rstrip())
il = lambda: list(map(int, sys.stdin.buffer.readline().split()))
fl = lambda: list(map(float, sys.stdin.buffer.readline().split()))
iln = lambda n: [int(sys.stdin.buffer.readline().rstrip()) for _ in range(n)]

iss = lambda: sys.stdin.buffer.readline().decode().rstrip()
sl = lambda: list(map(str, sys.stdin.buffer.readline().decode().split()))
isn = lambda n: [sys.stdin.buffer.readline().decode().rstrip() for _ in range(n)]

MOD = 10 ** 9 + 7


def main():
    if os.getenv("LOCAL"):
        sys.stdin = open("input.txt", "r")

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


if __name__ == '__main__':
    main()

Solution (Python):
a = input().split()
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+b+c!=17:
    print("NO")
elif a==b==5 or b==c==5 or c==a==5:
    print("YES")
else:
    print("NO")

Solution (Python):

import collections


def solve():
    pass


arr = list(map(int, input().strip().split()))
arr.sort()

print("YES" if "".join(map(str, arr)) == "557" else "NO")

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

count1 = 0
count2 = 0

for s in S: 
  if s == "5":
    count1 += 1
  elif s == "7":
    count2 += 1
  
if count1 == 2 and count2 == 1:
  print("YES")
else:
  print("NO")

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

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

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

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

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

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

Solution (Python):
a, b, c = map(int, input().split())
if a+b+c == 17:
  if set([a, b, c]) == {5, 7}:
    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):
i = list(map(int, input().split()))

if 7 in i:
  i.remove(7)
  if i[0] == 5 and i[1] == 5:
    print('YES')
  else:
    print('NO')
else:
  print('NO')

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

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*B*C)%175==0):
    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 5 in a:
  if 7 in a:
    if sum(a) == 17:
      print("YES")
      exit()

print("NO")

Solution (Python):
import sys

input = sys.stdin.readline


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

    cnt_5 = 0
    for i in [A, B, C]:
        if i == 5:
            cnt_5 += 1

    cnt_7 = 0
    for i in [A, B, C]:
        if i == 7:
            cnt_7 += 1

    if cnt_5 == 2 and cnt_7 == 1:
        print("YES")
    else:
        print("NO")


if __name__ == "__main__":
    main()

Solution (Python):
n = list(map(int, input().split()))
n.sort()
ans = ""
for i in range(3):
  ans += str(n[i])
if ans == "557":
  print("YES")
else:
  print("NO")

Solution (Python):
a = sorted(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):
A = list(map(int, input().split()))
A.sort()

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

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

if 2==l.count(5):
    if 1==l.count(7):
        print('YES')
        exit()

print('NO')

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

count5 = len([x for x in [a,b,c] if x==5])
count7 = len([x for x in [a,b,c] if x==7])

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

Solution (Python):
import math

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

Solution (Python):
import sys, re, os
from collections import deque, defaultdict, Counter
from math import ceil, sqrt, hypot, factorial, pi, sin, cos, radians, acos, atan, asin, log, log10
from itertools import permutations, combinations, product, accumulate
from operator import itemgetter, mul
from copy import deepcopy
from string import ascii_lowercase, ascii_uppercase, digits
from fractions import gcd
def debug(*args):
    if debugmode:
        print(*args)
def input(): return sys.stdin.readline().strip()
def STR(): return input()
def INT(): return int(input())
def FLOAT(): return float(input())
def MAP(): return map(int, input().split())
def S_MAP(): return map(str, input().split())
def LIST(): return list(map(int, input().split()))
def S_LIST(): return list(map(str, input().split()))
def lcm(a, b): return a * b // gcd(a, b)
sys.setrecursionlimit(10 ** 9)
inf = sys.maxsize
mod = 10 ** 9 + 7
dx = [0, 0, 1, -1, 1, -1, -1, 1]
dy = [1, -1, 0, 0, 1, -1, 1, -1]
debugmode = False

arr = LIST()
arr.sort()
if arr == [5, 5, 7]:
    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, b, c = map(int, input().split())

ans = "NO"

if a*b*c % 175 == 0:
  ans = "YES"

print(ans)

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

Solution (Python):
l = list(map(int, input().split()))
count = count2 = 0
for i in range(3):
  if(l[i] == 5):
    count+=1
  elif(l[i] == 7):
    count2 += 1
    
if(count == 2 and count2 == 1):
    print("YES")
else:
	print("NO")

Solution (Python):
import sys, re, os
from collections import deque, defaultdict, Counter
from math import ceil, sqrt, hypot, factorial, pi, sin, cos, radians, acos, atan, asin, log, log10
from itertools import permutations, combinations, product, accumulate
from operator import itemgetter, mul
from copy import deepcopy
from string import ascii_lowercase, ascii_uppercase, digits
from fractions import gcd
def debug(*args):
    if debugmode:
        print(*args)
def input(): return sys.stdin.readline().strip()
def STR(): return input()
def INT(): return int(input())
def FLOAT(): return float(input())
def MAP(): return map(int, input().split())
def S_MAP(): return map(str, input().split())
def LIST(): return list(map(int, input().split()))
def S_LIST(): return list(map(str, input().split()))
def lcm(a, b): return a * b // gcd(a, b)
sys.setrecursionlimit(10 ** 9)
inf = sys.maxsize
mod = 10 ** 9 + 7
dx = [0, 0, 1, -1, 1, -1, -1, 1]
dy = [1, -1, 0, 0, 1, -1, 1, -1]
debugmode = False

arr = LIST()
arr.sort()
if arr == [5, 5, 7]:
    print('YES')
else:
    print('NO')

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

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

Solution (Python):

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

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

five=a.count(5)
seven=a.count(7)

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

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

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

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

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

lst = [0] * 10

lst[a - 1] += 1
lst[b - 1] += 1
lst[c - 1] += 1

if lst[4] == 2 and lst[6] == 1:
    print("YES")
else:
    print("NO")

Solution (Python):
def solve(lst):
  count_5 = 2
  count_7 = 1
  for i in lst:
    if i == 5:
      count_5 -= 1
    elif i == 7:
      count_7 -= 1
    else:
      return False
  return count_5 == 0 and count_7 == 0

if __name__ == "__main__":
  l = list(map(int,input().split()))
  if solve(l):
    print('YES')
  else:
    print('NO')

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

if (5 and 7 in abc) and sum(abc)==17:
    print("YES")
else:
    print("NO")

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

Solution (Python):
if sorted(input().split())==['5','5','7']:
    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):
li = list(map(int, input().split()))
count_5 = li.count(5)
count_7 = li.count(7)
if count_5 == 2 and count_7 == 1:
    print('YES')
else:
    print('NO')

Solution (Python):
l = list(map(int, input().split()))
five = 0
seven = 0
for i in l:
    if i == 5:
        five +=1
    elif i == 7:
        seven +=1
if five == 2 and seven == 1:
    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):
ABC = [int(x) for x in input().split()]
S = sorted(ABC)

if S[0] == 5 and  S[1] == 5 and  S[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):
li = input().split()
if li.count('7') == 1 and li.count("5") == 2:
    print("YES")
else:
    print("NO")

Solution (Python):
li = input().split()
if ('7' in li) == True:
    if ('5' in li) == True:
        if li[0] == '5':
            if li[1] == '5' or li[2] == '5':
                print("YES")
            else:
                print("NO")
        elif li[1] == '5' and li[2] == '5':
            print("YES")
        else:
            print("NO")
    else:
        print("NO")
else:
    print("NO")

Solution (Python):

def main():
    t = input().split()
    if t.count('5') == 2:
        if t.count('7'):
            print('YES')
            exit()
    print('NO')




if __name__ == '__main__':
    main()

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

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

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

Solution (Python):
a,b,c = map(int, input().split())
total = a + b + c
if total == 17: 
    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):
s=list(input().split())
s.sort()
d=int(s[0])*100+int(s[1])*10+int(s[2])
d=d-557
if d==0:
    print("YES")
else:
    print("NO")

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

five = 0
seven = 0
for i in x:
  if i == 5:
    five += 1
  elif i == 7:
    seven += 1

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

Solution (Python):
line = input().split()
a = 0
for i in line:
	a += int(i)
if a == 17 and ((line[0] == "5" and line[1] == "5") or (line[0] == "5" and line[2] == "5") or (line[1] == "5" and line[2] =="5" )):
	print("YES")
else:
  print("NO")

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

Solution (Python):
haiku = list(map(int, input().split()))
five = haiku.count(5)
seven = haiku.count(7)
if five == 2 and seven == 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):
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):
lis = input().split()
if lis.count("5")==2 and lis.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 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):
ABC=input().split()
print("YES"if ABC.count("5")==2 and ABC.count("7")==1 else "NO")

Solution (Python):

import sys
import math
import os
import itertools
import string
import heapq
import _collections
from collections import Counter
from collections import defaultdict
from functools import lru_cache
import bisect
import re
import queue
from decimal import *


class Scanner():
    @staticmethod
    def int():
        return int(sys.stdin.readline().rstrip())

    @staticmethod
    def string():
        return sys.stdin.readline().rstrip()

    @staticmethod
    def map_int():
        return [int(x) for x in Scanner.string().split()]

    @staticmethod
    def string_list(n):
        return [input() for i in range(n)]

    @staticmethod
    def int_list_list(n):
        return [Scanner.map_int() for i in range(n)]

    @staticmethod
    def int_cols_list(n):
        return [int(input()) for i in range(n)]


class Math():
    @staticmethod
    def gcd(a, b):
        if b == 0:
            return a
        return Math.gcd(b, a % b)

    @staticmethod
    def lcm(a, b):
        return (a * b) // Math.gcd(a, b)

    @staticmethod
    def divisor(n):
        res = []
        i = 1
        for i in range(1, int(n ** 0.5) + 1):
            if n % i == 0:
                res.append(i)
                if i != n // i:
                    res.append(n // i)
        return res

    @staticmethod
    def round_up(a, b):
        return -(-a // b)

    @staticmethod
    def is_prime(n):
        if n < 2:
            return False
        if n == 2:
            return True
        if n % 2 == 0:
            return False
        d = int(n ** 0.5) + 1
        for i in range(3, d + 1, 2):
            if n % i == 0:
                return False
        return True


def pop_count(x):
    x = x - ((x >> 1) & 0x5555555555555555)
    x = (x & 0x3333333333333333) + ((x >> 2) & 0x3333333333333333)
    x = (x + (x >> 4)) & 0x0f0f0f0f0f0f0f0f
    x = x + (x >> 8)
    x = x + (x >> 16)
    x = x + (x >> 32)
    return x & 0x0000007f


MOD = int(1e09) + 7
INF = int(1e15)


def main():
    
    A = Scanner.map_int()
    d = defaultdict(int)
    for a in A:
        d[a] += 1
    print('YNEOS'[not (d[5] == 2 and d[7] == 1)::2])


if __name__ == "__main__":
    main()

Solution (Python):
a = input()
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 = list(input().split())
B = [int(i) for i in A]
print('YES' if sum(B) == 17 and '5' in A and '7' in A else 'NO')

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

Solution (Python):
a,b,c = input().split()
List = [a,b,c]
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+b+c == 17 and (5 in [a,b,c] and 7 in [a,b,c]):
    print("YES")
else:
    print("NO")

Solution (Python):
abc = list(input())

if abc.count('5') == 2 and abc.count('7') == 1:
  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):
import sys

*a, = map(int, sys.stdin.readline().split())

def main():
    a.sort()
    ans = 'YES' if a[0] == a[1] == 5 and a[2] == 7 else 'NO'
    print(ans)

if __name__ ==  '__main__':
    main()

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

Solution (Python):

nums = [int(s) for s in input().split(" ")]
print("YES" if nums.count(5) == 2 and nums.count(7) == 1 else "NO")

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

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

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

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

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

Solution (Python):
S=input();print('NYOE S'[S.count('5')==2 and S.count('7')==1::2])

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

import collections

tmp = []
tmp.append(A)
tmp.append(B)
tmp.append(C)

c = collections.Counter(tmp)

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

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

five_count = 0
seven_count =0

for i in line:
    if i == 5:
        five_count += 1
    elif i == 7:
        seven_count += 1

if five_count ==2 and seven_count == 1:
    print("YES")
else:
    print("NO")

Solution (Python):
import sys
import copy
import math
import bisect
import pprint
import bisect
from functools import reduce
from copy import deepcopy
from collections import deque

if __name__ == '__main__':
    a = [int(i) for i in input().split()]
    a5 = 0
    a7=0

    for i in a:
        if i == 5:
            a5 +=1
        if i ==7:
            a7 +=1

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

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

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

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