Actually they are not even solvable in theory even with a bigger universe of insanely powerful computer. Which is what it means to say that mtg is Turing complete.