How Hard Is Nine Sols