Systematic and local search algorithms for regular-SAT