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