SAT Joining Independent and Dependent Clauses