EDACC verifier for DRAT unsat proof format