read `Cannibals.txt`:

M:=10: C:=3: B:=3: d:=2:

lu:=Sols(M,C,B,d):

print(`If there are `, M, `missionaries `, C, `cannibals `, `boat max. capacity`, B, `and safety difference #missioanries-canniabls`, d):
print(`there are`, nops(lu), `solutions`):
print(``):
print(`Here they are `):
print(``):
lprint(lu):
print(``):

if  lu<>{} then
print(`Let's spell the first one`):

SO(M,C,B,d,lu[1]):
fi:

print(``):
print(`This took`, time(), `seconds . `):
print(``):
quit: