Assignment #10: Third assignment from Advanced Algorithms module: NP-Completeness and SAT Solvers.