Modern Boolean Satisfiability Problem (SAT) solvers utilise a ”smart” brute force search. This means that SAT solvers can find ”smart” solutions to SAT problems. Hence, any problem that can…