Elimination of k-Sat Clauses in the k-Satisfiability Problem