tokens: Rahmat menyebutkan , untuk penerbitan sukuk negara itu , pihak DPR telah memberikan izin kepada pemerintah untuk menggunakan aset negara di Depkeu senilai Rp 18,3 triliun sebagai underlying aset sukuk negara .