My attempt at SAT solving. Not really state-of-the-art.