[Bug 733027] satsolver-bindings test failed