Removed wrong solves