A Resolution-Based Interactive Proof System for UNSAT (Logical Methods in Computer Science, 2026)