correctly updated the 2SAT using SCC.....
Adding the (no. of vertices) to handle the -ve nos.
Great Data Reduction...thanks to Stanislav Zholnin from coursera.