let rc_solver_failed                   = 6