which country has leaders rui maria de araújo and taur matan ruak ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_leader dbr_Rui_Maria_de_Araújo sep_dot var_uri dbo_leader dbr_Taur_Matan_Ruak sep_dot var_uri a dbo_Country brack_close