Is 1 solinas prime?