solv-int/9511002 solv-int/9511007