Recall that we proved in class that we can reduce CNF$-$SAT to the $k-$clique problem.

$($a$)(5$ points$)$ Find a $4-$clique in the following graph:

$($b$)(5$ points$)$ Draw the graph that is obtained from the reduction to SAT for the clique

problem for the expression

$(yvvxv\frac{v}{b}ar(z){)}^{{?}^{?}}(\stackrel{}{x}v\frac{v}{b}ar(y)vvw{)}^{{?}^{?}}(yv\frac{v}{b}ar(w)vvz)$