Numberphile2

To SAT, or not SAT, that is the question - Numberphile Podcast