Crypto Ice key. NSF listed. Usermod usage. 3 sat to vertex cover np completeness example pdf.