BFS for s953--fail on reduction