solve는 정답이 없습니다. 
정확하게는... 정답이 (어지간하면) 있겠지만 해보기 전에는 그 정답을 알 수 없다고 해야 맞겠습니다 

될 때도 있고 안될 때도 있고.
뒤에 인수를 {x,y,z} 로 넣어도 상관없이 잘 나올 때도 있고,
(이 문제처럼) x 나 y 나 z에 대해서 하나씩 확인하다보면 원하는 꼴로 나오는 경우도 있고, 
뭘 해도 안되는 경우도 있구요.