Algorithms Live! Episode 24
http://algorithms-live.blogspot.com/2017/07/episode-24-2sat.html
CF Edu Round 195 Solution Discussion