Symbol: FCF_CASE_UNSOLVED