"Petitioners are reluctant to use Sotera stipulations because they limit invalidity options in district court proceedings. Will petitioners be any more likely to file Sotera stipulations now than they have been previously, given the limited additional benefit? Carmichael thinks no."