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

import math
import sys
import itertools
import numpy as np
import functools
import collections
mo = 1000000007
INF = 10**100
r = range

class infix(object):
    def __init__(self, function):
        self.function = function

    def __ror__(self, other):
        self.left = other
        return self

    def __or__(self, other):
        return self.function(self.left, other)

    def __call__(self, value1, value2):
        return self.function(value1, value2)

@infix
def c(f_t_u, f_u_r): return lambda t: f_u_r(f_t_u(t))

class _Ap(object):
    def __rlshift__(self, other):
        self.value = other
        return self

    def __rshift__(self, other):
        return other(self.value)
Ap = _Ap()
ap = Ap





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

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

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

Solution (Python):
X = sorted(input().split())
if X == ["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):



"""042-a"""


import sys


def main():
    """Main function."""
    phrases = sys.stdin.readline()[:-1].split(" ")

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


if __name__ == '__main__':
    sys.exit(main())

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

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


if max(a, b, c) == 7 and min(a, b, c) == 5 and sum([a, b, c]) == 17:
    print "YES"
else:
    print "NO"

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

Solution (Python):
arr = list(map(int,input().split()))
if arr.count(7) == 1 and arr.count(5) == 2:
    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):
print(["NO","YES"]["  557"=="".join(sorted(input()))])

Solution (Python):
array = [int(n) for n in input().split()]
five = 0
seven = 0
for n in array:
    if n == 5:
        five += 1
    elif n == 7:
        seven += 1
if five == 2 and seven == 1:
    print("YES")
else:
    print("NO")

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

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

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

Solution (Python):
from collections import defaultdict


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


if __name__ == '__main__':
    main()

Solution (Python):
input_line1 = map(int,raw_input().split(" "))


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

Solution (Python):
abc = list(map(int, input().split()))
cnt5 = 0
cnt7 = 0
for i in abc:
    if i == 5:
        cnt5 += 1
    elif i == 7:
        cnt7 += 1
if cnt5 == 2 and cnt7 == 1:
    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):
n = list(map(int, input().split(" ")))

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

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

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

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

Solution (Python):
from collections import Counter
ABC = list(map(int,input().split()))
c = Counter(ABC)
print("YES"if c[5] == 2 and c[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):
def ri(): return int(input())
def rli(): return list(map(int, input().split()))
def rls(): return list(input())
def pli(a): return "".join(list(map(str, a)))

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

Solution (Python):
haiku = input()
x = haiku.split()
num_5 = 0
num_7 = 0

for v in x:
    v = int(v)
    if v == 5:
        num_5 += 1
    elif v == 7:
        num_7 += 1

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

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

Solution (Python):
ABCstr = input().split()
ABC = []
gogo = [5, 5]
for number in ABCstr:
    if number!='7':
        ABC.append(int(number))
if ABC == gogo:
    print('YES')
else:
    print('NO')

Solution (Python):


fives = 0
sevens = 0
for x in input().strip().split():
    x = int(x)
    if x == 5:
        fives += 1
    if x == 7:
        sevens += 1
if fives == 2 and sevens == 1:
    print('YES')
else:
    print('NO')

Solution (Python):
def ini(): return int(input())
def inli(): return list(map(int, input().split()))
def inf(): return float(input())
def inlf(): return list(map(float, input().split()))
def inl(): return list(input())
def pli(): return "".join(list(map(str, ans)))

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

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

Solution (Python):
a = list(map(int, input().split()))
five = 0
seven = 0
for i in range(3):
    if a[i] == 5:
        five += 1
    if a[i] == 7:
        seven += 1

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

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

Iroha = [5, 5, 7]
ABC = sorted([A, B, C])
if ABC == Iroha:   
    print('YES')
else:
    print('NO')

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

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

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

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

if __name__ == '__main__':
    solve()

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

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

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

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

Solution (Python):
def main():
    ABC = tuple(map(int, input().split()))

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

main()

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

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

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

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

Solution (Python):
def calc(lst):
	if lst[0] == 7:
		if lst[1] == 5 and lst[2] == 5:
			return 'YES'
		else:
			return 'NO'
	elif lst[0] == 5:
		if lst[1] == 7:
			if lst[2] == 5:
				return 'YES'
			else:
				return 'NO'
		elif lst[1] == 5:
			if lst[2] == 7:
				return 'YES'
			else:
				return 'NO'
		else:
			return 'NO'
	else:
		return 'NO'

inpt = map(int, raw_input().split())

print calc(inpt)

Solution (Python):
input = map(int, raw_input().split())
ans = [5, 7, 5]
for data in input:
 if int(data) < 1 or int(data) > 10:
  print 'error'
  exit()
for data in input:
 if data in ans:
   ans.remove(data)
if len(ans) == 0:
 print 'YES'
else:
 print 'NO'

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

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

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

if a + b + c == 17:
    ans = 'YES'
else:
    ans = 'NO'

print(ans)

Solution (Python):
ss = [int(e) for e in input().split()]


def main(ss):
    five_count = ss.count(5)
    seven_count = ss.count(7)
    if five_count == 2 and seven_count == 1:
        return 'YES'
    else:
        return 'NO'


print(main(ss))

Solution (Python):
import sys

def debug(x, table):
    for name, val in table.items():
        if x is val:
            print('DEBUG:{} -> {}'.format(name, val), file=sys.stderr)
            return None

def solve():
    a = [int(i) for i in input().split()]
    a.sort()

    if a == [5,5,7]:
        ans = 'YES'
    else:
        ans = 'NO'

    print(ans)

if __name__ == '__main__':
    solve()

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

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

Solution (Python):

ABC = list(map(int,input().split()))
five = ABC.count(5)
seven = ABC.count(7)
if five == 2 and seven == 1:
    print("YES")
else:
    print("NO")

Solution (Python):
a,b,c=map(int,raw_input().split())
x = []
x.append(a)
x.append(b)
x.append(c)
f = True
x = sorted(x)
if x[0] != 5:
    f = False
elif x[1] != 5:
    f = False
elif x[2] != 7:
    f = False

if f:
    print 'YES'
else:
    print 'NO'

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

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

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

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

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

Solution (Python):


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

if __name__ == '__main__':
    main()

Solution (Python):


def check(data):
    five_count = 0
    seven_count = 0

    for i in data:
        if i == 5:
            five_count += 1
        elif i == 7:
            seven_count += 1
    if five_count == 2 and seven_count == 1:
        return "YES"
    else:
        return "NO"

if __name__ == "__main__":

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

    print(check([A, B, C]))

Solution (Python):



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

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

Solution (Python):
import math,string,itertools,fractions,heapq,collections,re,array,bisect,sys,random,time

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


def main():
    a = list(map(int,input().split()))
    if sum(a) == 17:
        return 'YES'
    return 'NO'



print(main())

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

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

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

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

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

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


if __name__ == '__main__':
    main()

Solution (Python):
import sys
ABC = map(int,sys.stdin.readline().split())

ABC.sort()

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

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

Solution (Python):
from collections import deque

L = deque(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())

if A == 7 or B == 7 or C == 7 :
    if A == 5 or B == 5 or C == 5:
        if A+B+C == 17:
            print("YES")
            exit()

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

Solution (Python):
z = map(int,raw_input().split(' '))

if z.count(7) == 1:
    print 'YES'
else:
    print 'NO'

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

if sorted(l) == [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):
A, B, C = map(int, raw_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, raw_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, raw_input().split())
count_5 = 0
count_7 = 0
for n in [A, B, C]:
    if n == 5:
        count_5 += 1
    elif n == 7:
        count_7 += 1
if count_5 == 2 and count_7 == 1:
    print 'YES'
else:
    print 'NO'

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

Solution (Python):

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

Solution (Python):

import sys,copy,math,heapq,itertools as it,fractions,re,bisect,collections as coll

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

Solution (Python):
def read():
    return int(input())

def reads(sep=None):
    return list(map(int, input().split(sep)))

def main():
    abc = reads()
    print('YES' if list(sorted(abc)) == [5,5,7] else 'NO')

main()

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

Solution (Python):
A, B, C = map(int, input().split())
if (A==5 and B==5 and C==7)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["NO","YES"][raw_input()in"5 5 7 5 5"]

Solution (Python):
cnt = [0] * 11
for x in map(int, raw_input().split()):
	cnt[x] += 1

print "YES" if cnt[5] == 2 and cnt[7] == 1 else "NO"

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

Solution (Python):
S = input().split()
tf7 = False
tf52 = False
count5 = 0
for x in S:
	if x == "5":
		count5 += 1
		if count5 == 2:
			tf52 = True
	if x == "7":
		tf7 = True
if tf7==True and tf52==True:
	print("YES")
else :
	print("NO")

Solution (Python):
a = map(int, raw_input().split())
d = 2
e = 1

for i in a:
	if i == 5:
		d -= 1
	elif i == 7:
		e -= 1
if d == 0 and e == 0:
	print "YES"
else:
	print "NO"

Solution (Python):
Ns = map(int, raw_input().split())

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

Solution (Python):
from collections import Counter

def solve():
    c = Counter([int(c) for c in input().split()])
    print("YES" if c[5] == 2 and c[7] == 1 else "NO")

if __name__=="__main__":
    solve()

Solution (Python):
def solve():
    li = [int(i) for i in input().split()]
    print("YES" if sum(li) == 17 and len(set(li)) == 2 else "NO")


if __name__=="__main__":
    solve()

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

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

Solution (Python):
import collections
s = collections.Counter(input().split()).most_common()
a = "YES" if s[0][1] == 2 and s[1][1] and s[1][0] == "7" and s[0][0] == "5" else "NO"
print(a)

Solution (Python):
from sys import stdin
a = map(int,stdin.readline().split())
a.sort()
if a==[5,5,7]:
 print "YES"
else:
 print 'NO'

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

Solution (Python):
a=map(int,raw_input().split())
y=0
if 5 in a:
    a.remove(5)
    if 5 in a and 7 in a:
        y=1
if y==1:
    print("YES")
else:
    print("NO")

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

Solution (Python):
import re
import doctest


class IO_for_Contest(object):
    @staticmethod
    def my_input():
        
        return input()

    @staticmethod
    def read_from_input():
        return IO_for_Contest.read_n_int(3)

    @staticmethod
    def read_line():
        return IO_for_Contest.my_input().strip()

    @staticmethod
    def read_int():
        return int(IO_for_Contest.my_input().strip())

    @staticmethod
    def read_n_int(n):
        return list(map(
                int,
                re.split('\s+', IO_for_Contest.my_input().strip())))[: n]


def solve():
    a = IO_for_Contest.read_from_input()
    a.sort()
    if is_legal(a):
        print('YES')
    else:
        print('NO')


def is_legal(a):
    return len(a) == 3 and a[0] == 5 and a[1] == 5 and a[2] == 7

if __name__ == '__main__':
    
    solve()

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

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



i = map(int, raw_input().split())
o = sorted(i)
if o[0]==5 and o[1]==5 and o[2]==7:
    print 'YES'
else:
    print 'NO'

Solution (Python):

five = 0
seven = 0
a = map(int, raw_input().split())
for i in a:
    if i == 5:
        five = five + 1
    if i == 7 :
    	seven = seven + 1

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

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

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

count = 0
for i in range(len(l)):
    if l[i] == 5:
        count += 5
    if l[i] == 7:
        count += 7

if count == 17:
    print 'YES'
else:
    print 'NO'

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

Solution (Python):


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

Solution (Python):
a = list(int(i) for i in 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):
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())
    
    mp = {}
    if(a not in mp):
        mp[a] = 1
    else:
        mp[a] += 1
    if(b not in mp):
        mp[b] = 1
    else:
        mp[b] += 1
    if(c not in mp):
        mp[c] = 1
    else:
        mp[c] += 1

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

Solution (Python):
import sys

if reduce(lambda a, e: int(a) * int(e), next(sys.stdin).split()) == 175:
    print('YES')
else:
    print('NO')

Solution (Python):
cnt = [0] * 11
for x in map(int, input().split()):
    cnt[x] += 1

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

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

ans="NO"
if x == [5,5,7]:
    ans="YES"
print(ans)

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

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

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

Solution (Python):



l=map(int,raw_input().split())

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

Solution (Python):
def is_haiku(s):
    nums = s.split()
    counts = {x: nums.count(x) for x in nums}
    try:
        if counts['5'] == 2 and counts['7'] == 1:
            print("YES")
        else:
            print("NO")
    except:
        print("NO")

if __name__ == "__main__":
    is_haiku(input())

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

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

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

Solution (Python):


ipt = input().split(" ")
j,k =0,0
for i in [ int(i) for i in ipt]:
    if i == 5:
        k += 1
    elif i==7:
        j += 1


if j == 1 and k == 2:
    print("YES")
else:
    print("NO")

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

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

Solution (Python):



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

if __name__ == "__main__":
    main()

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

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

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

Solution (Python):



list=input().split()
list.sort()

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

Solution (Python):
print["NO","YES"][raw_input()[::2]in"55755"]

Solution (Python):
print "YES" if raw_input() in ["5 5 7", "5 7 5", "7 5 5"] else "NO"

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

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

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

list = [A, B, C]

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

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

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

Solution (Python):


xyz = raw_input().split(" ")
c1, c2 = 0, 0
for i in xyz:
    if i == "5":
        c1 += 1
    elif i == "7":
        c2 += 1
if (c1 == 2 and c2 == 1):
    print "YES"
else:
    print "NO"

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

Solution (Python):
L = list(map(int, input().split()))
print("YES" if 5 in L and 7 in L and sum(L) == 17 else "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):
i = list(map(int, input(). split()))

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

Solution (Python):
l = map(int, raw_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 = map(int,raw_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):






import math
line=raw_input().rstrip().split(' ')
a=int(line[0])
b=int(line[1])
c=int(line[2])
if((a==7 and b==5 and c==5)or(a==5 and b==7 and c==5)or(a==5 and b==5 and c==7)):
    print 'YES'
else:
    print 'NO'

Solution (Python):
A,B,C = input().split()
array =[A,B,C]

array.sort()

if "5" in array[0]:
    del array[0]
    if "5" in array[0]:
        del array[0]
        if "7" in array[0]:
            print("YES")
        else:
            print("NO")
    else:
        print("NO")
else:
    print("NO")

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

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

if "7" in ABC:
	i=ABC.index("7")
	ABC.pop(i)
	if ABC[0]=="5" and ABC[1]=="5":
		print("YES")
	else:
		print("NO")
else:
	print("NO")

Solution (Python):
def read():
    return map(int, input().split())

a, b, c = sorted(read())
print("YES" if (a, b, c) == (5, 5, 7) else "NO")

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

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

f = 0
n = 0

for i in range(3):
    if catch[i] == "7":
        n +=1
    elif catch[i] == "5":
        f +=1

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

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

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

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

x.sort()

if x[0] == 5 and x[1] == 5 and x[2] == 7:
  print "YES"

else:
  print "NO"

Solution (Python):
n = map(int, input().split(' '))
cnt1 = 0
cnt2 = 0
for t in n:
    if t == 5:
        cnt1 += 1
    if t == 7:
        cnt2 += 1

if cnt1 == 2 and cnt2 == 1:
    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):
A,B,C = list(map(int, input().split()))
if A*B*C ==  175:
    print('YES')
else:
    print('NO')

Solution (Python):
arr = [5,5,7]
a = list(map(int,input().split()))
a.sort()

for i in range(3):
    if a[i] != arr[i]:
        print("NO")
        exit()
print("YES")

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