Let k$>1$ be an integer. Recall that k$-$SAT take as input a boolean function in CNF such that each clause has at most k literals, and returns an assignment of the variables that evaluates to true, and returns false otherwise. Which of the following is known to be true for all integer values of k$>1?($choose one$)$

A$.$ There is a reduction from $2024-$SAT to k$-$SAT.

B$.$ There is a reduction from k$-$SAT to $2-$SAT.

C$.$ k$-$SAT is known to be NP$-$hard.

D$.$ If one find a polynomial time algorithm to solve k$-$SAT for an integer value of k$>1,$ one can conclude that P$=$NP$.$