I have the following clauses:
1. {P,Q,~R} 2. {~P,R} 3. {P,~Q,S} 4. {~P,~Q,~R} 5. {P,~S}
I have to prove the satisfiability using DP and DPLL sepa