Tricky BGP into IGP Question

[Paul_Donner]

turn synch off.
make sure bgp next-hop is propagated (1->2a->2b/4->3).
do not redistribute BGP=>IGP.