which country has leaders josé eduardo dos santos and manuel vicente ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_leader dbr_José_Eduardo_dos_Santos sep_dot var_uri dbo_leader dbr_Manuel_Vicente sep_dot var_uri a dbo_Country brack_close