Pólya enumeration theorem vs partition problem