Reencoding Unique Literal Clauses. - Aeacus Sheng; Joseph E. Reeves; Marijn J. H. Heule (SAT, 2025)