I don't know why I called the eliminate_solutions twice