水の移し替えパズル in Common Lisp DouKaku?

水の移し替えパズル

A, B, Cの容器があり，それぞれ水が4L, 2L, 10L入っている．ここで次の操作を繰り返す．

(*)「A, B, Cのどれか二つの容器から水を1Lずつくみ上げ，残りの容器に移す．」

たとえばA, Bから1Lずつくみ上げて移せばA=3L, B=1L, C=12Lとなる．くみ上げる前の容器には必ず水が入っているとする．

(*)を繰り返してどれか一つの容器にのみ水がはいっている状態にする最小手数を求めよ．

可能ならA=827392L，B=65536L，C=122880Lのときも求めよ．

このお題は光成さんの投稿を元に作成しました。ご協力ありがとうございます。

あれこれ考えていたらこれで解が出るような気がしました。
探索を書かせるのが趣旨だったらごめんなさい。

1
2
3

(defun water-puzzle (a b c)
  (loop for (x y) in `((,a ,b) (,b ,c) (,c ,a))
    if (zerop (mod (- x y) 3)) minimize (max x y)))