Rowanda could not settle her tax dispute with the IRS at the appeals conference. If she wants to litigate the issue but does not have sufficient funds to pay the proposed tax deficiency, Rowanda should litigate in the: