A Proof-Sensitive Approach for Small Propositional Interpolants