Adaptive Clause Weight Redistribution