University of Kent's SAT Solver (a humble undergraduate project, anyway)