DRUP checker for SAT