Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints