from itertools import permutations

def check_kadomatsu(A):
    is_kadomatsu = True
    for i in range(3):
        if A[i] == A[(i + 1) % 3]:
            is_kadomatsu = False
    if not (A[0] < A[1] > A[2] or A[0] > A[1] < A[2]):
        is_kadomatsu = False
    return is_kadomatsu

D = list(map(int, input().split()))
for P in permutations(range(7)):
    A = [D[P[i]] for i in range(7)]
    flag = True
    for i in range(5):
        B = A[i:i + 3]
        if not check_kadomatsu(B):
            flag = False
            break
        if B[0] > B[2]:
            flag = False
            break
    if flag:
        print("YES")
        exit()
print("NO")