Quiz: Satisfiability Check

You build the implication graph and run SCC. You find that $x_3$ and $\neg x_3$ are in SCC number $7$. What do you conclude?

1. A.$x_3$ must be true
2. B.The formula is unsatisfiable
3. C.$x_3$ must be false
4. D.You need to check other variables before deciding