Minimalistic SAT solver
