Use picosat-951 instead of 959, running fine on my Ubuntu-64bit-VM