Updated Win 32 Bit Picosat to version 959