Complete Solution for 2Sat problem (using SCC)