watched "Donald Knuth: The Art of Computer Programming. Satisfiability and Combinatorics" https://www.youtube.com/watch?v=g4lhrVPDUG0 (~2h 10m)