A Simple Pure Perl SAT solver with backtracking