missionaries and cannibals problem in c