solv-int/9708009