Every solver has problems if your solution is definitely not unique