Initial draft for PA6
SCC algorithm for 2sat
PA6 completed