Fix `interesting' to process solution-found cases correctly.