- truly restart when analyze_unsolvable is hit (fixes #368209)