Nobody has stated so far if, having experienced a bleed or pack failure after takeoff, he would climb to only 25000ft or to 35000 as planned.
I understand it's a difficult question. Let's keep in mind that if the other pack fails at fl250, we'll have to make an emergency descent anyway!