Warnsdorff's heuristic added.