Pico Salvaguarda y el de la Mina, BENASQUE