Please, do you have any recommendations for books about SAT solving for beginners?