Solve Giant Pizza if you have not already. It is the canonical -SAT problem and good practice for the technique. Focus on clean graph construction and correct SCC implementation. Make sure you handle the node indexing correctly.
Use for and for NOT to avoid confusion. Verify your solution on small test cases first. Trace through the implications by hand to understand the flow.