function findCoresUnsat takes a list of conjuncts and a maxDepth and returns a subset of the conjuncts