$SOL is hopeless