implementing minisat k cover functions
merging into master