اگر قانون برای شریعتمداری اجرا نمی‌شود، تکلیف ۷۰ مدیر بازنشسته نفت چیست؟