Puncak Piquinho atau Pico Pequeno .