Title: PR Cracking SAT II