Boolean SAT Solver to verify the satisfiability of the given 3-conjunctive normal form Boolean expression of up to 700 variables.