Whats the highest rating someone has in standard puzzles. Does anyone have over 4000 rating?