release GIL during main picosat computation