b) Use the resolution method of propositional logic to show that the following set of clauses is unsatisfiable: {{C, ¬C, A}, {C, ¬A}, {¬B, ¬A}, {¬B, C}, {¬C}, {A, B}}