AI problem of crossing missionaries