What is the code to complete this assignment in Python 3 The task is to implement the Monien and Spe

What is the code to complete this assignment in Python 3 The task is to implement the Monien and Spekenmayer backtracking algorithm for 3-CNF-SAT. It should take a file in CNF format and return either a satisfying assignment (if any satisfying assignment exists) or 'NO' (if an input formula is unsatisfiable). The benchmarks can be found in SATLIB (go to the University of British Columbia site from the bookmarked page). Take satisfiable instances from uf20-91 (20 variables and 91 clauses), take unsatisfiable instances from uuf50-218 (50 variables and 218 clauses). [Programming Based Task]