A collection of simple verified SAT-solvers