fast-and-sound-heuristic