Finish a6, 2sat problem.

Finished testing application of kosaraju’s algorithm for computing
strongly connected components to 2sat problem.  Verified correct
solution from Coursera.