The satisfiability problem for boolean set theory with a choice correspondence