Symbol: analyze_unsolvable