heuristic files that work with all constraints