Tiny SAT Solver