Add source for week6 programming, 2SAT implement.