Suppose that we have access to an oracle who can answer the decision problem CNF$-$Sat.

Show that, by asking her a polynomial number of questions, we can find a satisfying

assignment if one exists. Hint: first describe how setting a variable gives a smaller

CNF$-$Sat formula on the remaining variables.