Unused variable in test.
Removing usused variable.
Disabling next_solution()