No one knows - still to be negotiated after the shutdown ends I think. House was floating something like a 20% cut, no cut proposed in the Senate. The good news is that both of those numbers are far from the 55% cut in the budget request from the White House
