Max value for maxBooleanClauses?

[Walter Underwood]

Is there a hard upper limit for maxBooleanClauses? We have someone hitting a 
limit at 64k clauses after upgrading to 9.x.

wunder
Walter Underwood
wun...@wunderwood.org
http://observer.wunderwood.org/  (my blog)