Implementacion de state con vector de ints para IDA*. Probados ambos headers*