*** picosat: out of memory in 'resize'