Dynamic moldable SAT Solver