The Sparrow SAT Solver