Icosahedral graph planarity testing