Feasitivity:

[5]> (mc)
*left-bank* (M M M C C C B)
*right-bank* NIL
(m b)
*left-bank* (M M C C C)
*right-bank* (B M)
yummy yummy yummy, I got Good in my tummy!!
NIL


Inapplicability:

[36]> (mc)
*left-bank* (M M M C C C B)
*right-bank* NIL
(m c b)
*left-bank* (M M C C)
*right-bank* (B C M)
(c c b)
move inapplicable
NIL

Success:

[51]> (mc)
*left-bank* (M M M C C C B)
*right-bank* NIL
(c c b)
*left-bank* (M M M C)
*right-bank* (B C C)
(c b)
*left-bank* (B M M M C C)
*right-bank* (C)
(c c b)
*left-bank* (M M M)
*right-bank* (B C C C)
(c b)
*left-bank* (B M M M C)
*right-bank* (C C)
(b m m)
*left-bank* (M C)
*right-bank* (B M M C C)
(b m c)
*left-bank* (B M M C C)
*right-bank* (M C)
(m m b)
*left-bank* (C C)
*right-bank* (B M M M C)
(c b)
*left-bank* (B C C C)
*right-bank* (M M M)
(b c c)
*left-bank* (C)
*right-bank* (B M M M C C)
(b c)
*left-bank* (B C C)
*right-bank* (M M M C)
(b c c)
*left-bank* ()
*right-bank* (B M M M C C C)
good work!
NIL

Displaying solution:

[56]> (display-solution)
(M C B)
(M B)
(C C B)
(C B)
(M M B)
(B)
(M C B)
NIL