def main():
    L, M, N = map(int, input().split())

    while N >= 25:
        N -= 25
        M += 1

    while M >= 4:
        M -= 4
        L += 1

    print(L + M + N)
    
if __name__ == "__main__":
    main()