Q2 (4 points) Is the following 3CNF formula satisfiable? (x, VI, V 3) A (X Vx2 V X3) A (X, V x2 V X1) A (X, V X4 V x3) a. Convert the formula to a graph G1 such that the formula is satisfied if and only if G1 contains a clique of size 4. Does G1 have a clique of size 4? If it has, show it. b. Convert the formula to a graph G2 such that the formula is satisfied if and only if G2 contains a vertex cover of size 12. Does G2 have a vertex cover of size 12? If it has, show it.