No routing policies have been applied to R3. Referring to the exhibit, will R5 have 10.200/16 as an IS-IS route?