Enhancing Disjunctive Logic Programming Systems by SAT Checkers