Systematic vs. Local Search for SAT