  We present various analytic and number theoretic results concerning the #SAT
problem as reflected when reduced into a #PART problem. As an application we
propose a heuristic to probabilistically estimate the solution of #SAT
problems.
