Problem A
(e.g., 3-SAT)$(x_1 \lor x_2 \lor x_3) \dots$
Poly-time $f(x)$
Problem B
(e.g., Clique)Black-Box Solver
$G = (V,E), k=3$
Answer for B is YES $\implies$ Answer for A is YES.