Generate and Test SAT Solver