A tiny SAT Solver for students and researchers