The Backtracking Survey Propagation Algorithm for Solving Random K-SAT Problems