A trader buys five July futures contracts on crude oil. Each contract is for the delivery of 1,000 barrels. The current futures price is 51.4 dollars per barrel, the initial margin is $9,000 per contract, and the maintenance margin is $6,500 per contract. Under what circumstances could $5,000 be withdrawn from the margin account? Please enter the price above which $5,000 could be withdrawn.