Multiple total stable models are definitely needed to solve unique solution problems