transitions in the regular random 3-SAT problem -- Improving backtrack search for SAT by