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



if A[0] == A[1] == 5 and A[2] == 7:

    print("YES")

else:

    print("NO")
import sys, math



def input():

    return sys.stdin.readline()[:-1]



def main():

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

    if A.count(5) == 2 and A.count(7) == 1:

        print("YES")

    else:

        print("NO")



if __name__ == '__main__':

    main()

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

import sys, math


def input():
    return sys.stdin.readline()[:-1]


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


if __name__ == "__main__":
    main()

-A = sorted(list(map(int, input().split()))) -if A[0] == A[1] == 5 and A[2] == 7: -    print("YES") -else: -    print("NO") +import sys, math + + +def input(): +    return sys.stdin.readline()[:-1] + + +def main(): +    A = list(map(int, input().split())) +    if A.count(5) == 2 and A.count(7) == 1: +        print("YES") +    else: +        print("NO") + + +if __name__ == "__main__": +    main()