I was being a bit hyperbolic.

However, sampling really is the way to go when you face a combinatorial explosion. (If you can't prove it correct, that is.)