Double Configuration Checking in Stochastic Local Search for Satisfiability