N20bn sukuk