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