Cicada 3301 The Old Solvers Return; New Theories for Cold Trails