At node 6 what is the restricted problem pk1 here k 1-

Question

Recall the constraint-directed branching search of Figure.

At Node 6, what is the restricted problem P_k+1 (here k = 1)?

Exhibit a proof (a series of steps using the unit clause rule) that solves the inference dual of P_k+1 by proving infeasibility.

What is T_k+1, and what is the resulting no good? Do the same analysis at Node 7, where k = 2.