Adrián Rebola-Pardo: Even Shorter Proofs Without New Variables. SAT 2023: 22:1-22:20