No, you're right. I say "uncomputable" but that's not what's happening here. The problem is not "uncomputable" it's just that the result is negative (X men can't cross Y distance carrying Z provisions).

Thanks for pointing this out, my bad for using "uncomputable" wrong.