Impulse-SAT Solver | ScratchStats