c. Suppose we apply BACKTRACKING-SEARCH (page 215) to find all solutions to a SAT CSP of the type given in (a). (To find all solutions to a CSP, we simply modify the basic algorithm so it continues searching after each solution is found.) Assume that variables are ordered X1,…,Xn and false is ordered before true. How much time will the algorithm take to terminate? (Write an O(·) expression as a function of n.)&nbsp