Sinopec shut down its oil shale operations in the beginning of the 1990s .
Sinopec is a shale oil producer during those times .
Sinopec , a shale oil producer during those times , shut down its oil shale operations in the beginning of the 1990s .