El "AT&T Avail" es probable un modelo específico (quizás SGH-A837 Rugby, SGH-I747, o similar). Da igual el modelo: **el PUK pertenece a la tarjeta SIM, no al teléfono**. Solo **AT&T** puede dártelo.
Te darán PUK1 (8 dígitos). Introdúcelo en el teléfono cuando pida "PUK". Luego nuevo PIN.
NO intentes adivinar. 10 fallos = SIM muerta (duplicado en tienda AT&T ~$5).