Most users find it a lot easier to get 4GHz by using an odd multiplier like 19 or 21 compared to using an even multiplier like 20.
If you have trouble getting 20x200 stable then try 21x191 instead.