resolve conflicts of Solution names