Make sure we can solve big instances of this problem.