이리저리 시도해 보니, 이 문제에서 최선의 방법은
식은 그대로 두고, solve 에서 초기 추정값만 여러차례 바꿔가며 시도해 보는 것인데요.

이렇게 하니 PC뿐 아니라 계산기에서도 몇 초 안에 답이 나옵니다.

다만, 조건에 따라 특정한 답 1개만 연속으로 나올 수도 있는데, 
가능한 해 조합의 갯수를 알지 못하는 상태에서라면 이것저것 여러번 시도해보아야 할 것이고, 
그렇다고 해도 다 찾았는지 확신할 방법은 없을 듯 합니다.