[proof reading search] stopped at brute-force maze solution