At least a third of Fred's marbles are dark blue. All of the rest are red, except for 4 that are green. If he has 63 marbles, how many of them are red?
Please reason step by step, and put your final answer within \boxed{}.
user