Replace ban,unban functionality by manual setting of banned solvers