SAT Solver based on Chaff Philosophy.