SAT->3SAT working on clause splitting, filtered by start,middle and end clauses