TOFIX: Solver move does not operate