Health insurance providers are not entitled to billions of dollars in payments from the federal government covering losses that arose from their participation in the Affordable Care Act’s online marketplaces, the U.S. Justice Department told the U.S. Supreme Court on Wednesday.

The Justice Department is asking the Supreme Court to reject challenges from providers claiming the U.S. government is on the hook for more than $12.3 billion in so-called “risk corridor” payments. Any obligation to make those payments, the government told the justices in a new filing, was voided when Congress “expressly prohibited” the Health and Human Services Department from continuing to make payments using certain funds.