Denoising Diffusion for Sampling SAT Solutions