In my lab there seems to be no reachability between R4 and R3 on the loopbacks. I've loaded the initial configs. The solution or the task says nothing about configuring routing for this task.
Redistribution on R1 should make this work tho. But is this a little bug in the initial config?