Hola,me acaba de llegar esta versión rara del galaxy mini hoy mismo y despues de pegarme un rato con el editor hexadecimal para encontrar el código de liberación he conseguido liberarle con el programa del siguiente enlace de xda
http://forum.xda-developers.com/show....php?t=1647703.
El teléfono le rootee primero con el universal root gb root.
Espero que os funcione a todos.
Un saludo