Check SP refinement works well when starting from the wrong solution, using brute-force search
