Symbiosis of Search and Heuristics for Random 3-SAT