added find2SATSolution() in TarjanSCC
Merge branch 'live'