Answer: The Budgetary fund balance account must be credited.
Explanation:
When recording Revenue and Appropriations together, the Revenue is debited and the Appropriations are credited. The Budgetary Fund is credited when Revenue is higher than Appropriations and designated usually as "Unassigned".
In this scenario, the amount going to the Budgetary Fund will be $10,000 which is the difference between Revenue and Appropriations.