SAT Solver for MIT OpenCourseware 6.825