Change names of one solution and its spec