updated decryption and solvers