SHA-1, SAT-solving, and CNF.pdf of SHA-1, SAT-solving, and CNF