Pushing missionaries and cannibals state-space problem solver