This is to be used a benchmark for harp-lab/brouhaha, and is simplified adaptation for brouhaha of DPLL written at kraks/SAT.rkt