For a given n, is the problem of determining if a set is mortal solvable? n = 1 is solvable, n = 2 is unknown, and n>=3 is unsolvable.