Added solver remove_posibilities