#!/usr/bin/env python3

import sys

import numpy as np



YES = "Yes"  # type: str

NO = "No"  # type: str





def solve(N: int, M: int, A: "List[int]"):

    A = np.array(A)

    n_sum = np.sum(A)/4/M

    if (A >= n_sum).sum() >= M:

        print(YES)

    else:

        print(NO)



    return





# Generated by 1.1.6 https://github.com/kyuridenamida/atcoder-tools  (tips: You use the default template now. You can remove this line by using your custom template)

def main():

    def iterate_tokens():

        for line in sys.stdin:

            for word in line.split():

                yield word

    tokens = iterate_tokens()

    N = int(next(tokens))  # type: int

    M = int(next(tokens))  # type: int

    A = [int(next(tokens)) for _ in range(N)]  # type: "List[int]"

    solve(N, M, A)



if __name__ == '__main__':

    main()

#!/usr/bin/env python3

import sys

import numpy as np

 

YES = "Yes"  # type: str

NO = "No"  # type: str

 

 

def solve(N: int, M: int, A: "List[int]"):

    A = np.array(A)

    n_sum = np.sum(A)/4/M

    if len(set(A)) != N:

        print("??")

    if (A >= n_sum).sum() >= M:

        print(YES)

    else:

        print(NO)

 

    return

 

 

# Generated by 1.1.6 https://github.com/kyuridenamida/atcoder-tools  (tips: You use the default template now. You can remove this line by using your custom template)

def main():

    def iterate_tokens():

        for line in sys.stdin:

            for word in line.split():

                yield word

    tokens = iterate_tokens()

    N = int(next(tokens))  # type: int

    M = int(next(tokens))  # type: int

    A = [int(next(tokens)) for _ in range(N)]  # type: "List[int]"

    solve(N, M, A)

 

if __name__ == '__main__':

    main()

#!/usr/bin/env python3
import sys
import numpy as np

YES = "Yes"  # type: str
NO = "No"  # type: str


def solve(N: int, M: int, A: "List[int]"):
    A = np.array(A)
    n_sum = np.sum(A) / 4 / M
    if (A >= n_sum).sum() >= M:
        print(YES)
    else:
        print(NO)
    return


# Generated by 1.1.6 https://github.com/kyuridenamida/atcoder-tools  (tips: You use the default template now. You can remove this line by using your custom template)
def main():
    def iterate_tokens():
        for line in sys.stdin:
            for word in line.split():
                yield word

    tokens = iterate_tokens()
    N = int(next(tokens))  # type: int
    M = int(next(tokens))  # type: int
    A = [int(next(tokens)) for _ in range(N)]  # type: "List[int]"
    solve(N, M, A)


if __name__ == "__main__":
    main()

#!/usr/bin/env python3
import sys
import numpy as np

YES = "Yes"  # type: str
NO = "No"  # type: str


def solve(N: int, M: int, A: "List[int]"):
    A = np.array(A)
    n_sum = np.sum(A) / 4 / M
    if len(set(A)) != N:
        print("??")
    if (A >= n_sum).sum() >= M:
        print(YES)
    else:
        print(NO)
    return


# Generated by 1.1.6 https://github.com/kyuridenamida/atcoder-tools  (tips: You use the default template now. You can remove this line by using your custom template)
def main():
    def iterate_tokens():
        for line in sys.stdin:
            for word in line.split():
                yield word

    tokens = iterate_tokens()
    N = int(next(tokens))  # type: int
    M = int(next(tokens))  # type: int
    A = [int(next(tokens)) for _ in range(N)]  # type: "List[int]"
    solve(N, M, A)


if __name__ == "__main__":
    main()

+    if len(set(A)) != N: +        print("??")