You could record it as 75 x 12, 8+1, 8+2.
But doing push presses on the second set will slow progression on the third and make it hard to track. I would have done 75 x 12, 8, 8+2. Use the push presses to extend the last set. But that's just my 2 cents.