solv-int/9501002