I concur that 2^87 is a bit of an overkill ;-) But maybe considering all of those 87 options, one by one, would be a viable option?
I concur that 2^87 is a bit of an overkill ;-) But maybe considering all of those 87 options, one by one, would be a viable option?