verifier for UNSAT proofs