added SatFilter
added some cnf examples for debugging
preparations
some refinements