My attempt at a SAT solver