Ai homework 3, SAT solver