Text this: Quantum tunneling and quantum walks as algorithmic resources to solve hard K-SAT instances