PANCHITO, a solarian cat