solv-int/9701006
solv-int/9701013