Using More Reasoning to Improve #SAT Solving