5 kyu

Loading Kata: Propositional SAT Problem