solv-int/9504002