The government’s appeal of that decision is pending before the U.S. Court of Appeals for the Federal Circuit